|
Lines 34-40
Link Here
|
| 34 |
<td valign="top"> |
34 |
<td valign="top"> |
| 35 |
<img align="left" src="http://www.eclipse.org/downloads/images/update_wiz.gif" border="0" alt="Download TPTP all-in-one package" /> |
35 |
<img align="left" src="http://www.eclipse.org/downloads/images/update_wiz.gif" border="0" alt="Download TPTP all-in-one package" /> |
| 36 |
</td> |
36 |
</td> |
| 37 |
<td><font size="+1"><b>Download now: <a href="<?=$link?>">TPTP all-in-one package</a></b></font>, <?=$clientOS?><br /><br /> |
37 |
<td><font size="+1"><b>Download now: <a href="<?=$link?>">TPTP all-in-one package</a></b></font>, <?=$clientOS?><br /> |
|
|
38 |
|
| 39 |
<?php |
| 40 |
include "fetchStatistics.php"; |
| 41 |
|
| 42 |
if ( $clientOS == "Windows" || $clientOS == "Vista" ) { |
| 43 |
$allInOneDownloads = getFileStatistic( "/tptp.runtime.allInOne.win32.win32.x86*/", "TPTP-4.3.1-200702221346.xml" ); |
| 44 |
} else if ( $clientOS == "Linux" ) { |
| 45 |
$allInOneDownloads = getFileStatistic( "/tptp.runtime.allInOne.linux.gtk.x86*/", "TPTP-4.3.1-200702221346.xml" ); |
| 46 |
} else { |
| 47 |
$allInOneDownloads = ""; |
| 48 |
} |
| 49 |
|
| 50 |
$statisticsDate = getDateStatistic( "TPTP-4.3.1-200702221346.xml" ); |
| 51 |
|
| 52 |
if ( $allInOneDownloads != "" && $statisticsDate != "") { |
| 53 |
print("Number of downloads as of $statisticsDate: <b>$allInOneDownloads</b><br />"); |
| 54 |
} |
| 55 |
|
| 56 |
?> |
| 57 |
|
| 58 |
<br /> |
| 38 |
The all-in-one package contains all TPTP plugins with their dependencies, except the TPTP-WTP and TPTP-BIRT integration features. |
59 |
The all-in-one package contains all TPTP plugins with their dependencies, except the TPTP-WTP and TPTP-BIRT integration features. |
| 39 |
To install the integration features, please download the "All TPTP plugin" zip file below. |
60 |
To install the integration features, please download the "All TPTP plugin" zip file below. |
| 40 |
</td> |
61 |
</td> |
|
Lines 413-417
Link Here
|
| 413 |
<li><a href="#docs">Documentation</a></li> |
434 |
<li><a href="#docs">Documentation</a></li> |
| 414 |
</ul> |
435 |
</ul> |
| 415 |
</div> |
436 |
</div> |
|
|
437 |
|
| 438 |
<?php |
| 439 |
if ( $statisticsDate != "" ) { |
| 440 |
|
| 441 |
print( "<div class='sideitem'>" ); |
| 442 |
print( "<h6>Runtime downloads</h6>" ); |
| 443 |
print( " As of $statisticsDate<br/>" ); |
| 444 |
|
| 445 |
print( "<table width='100%'>" ); |
| 446 |
|
| 447 |
$platformDownloads = getFileStatistic( "/tptp.platform.runtime*/", "TPTP-4.3.1-200702221346.xml" ); |
| 448 |
if ( $platformDownloads != "" ) { |
| 449 |
print("<tr><td width='90%'>Platform</td><td width='10%' align='right'>$platformDownloads</td></tr>"); |
| 450 |
} |
| 451 |
|
| 452 |
$monitorDownloads = getFileStatistic( "/tptp.monitoring.runtime*/", "TPTP-4.3.1-200702221346.xml" ); |
| 453 |
if ( $monitorDownloads != "" ) { |
| 454 |
print("<tr><td width='90%'>Monitoring</td><td width='10%' align='right'>$monitorDownloads</td></tr>"); |
| 455 |
} |
| 456 |
|
| 457 |
$traceDownloads = getFileStatistic( "/tptp.trace.runtime*/", "TPTP-4.3.1-200702221346.xml" ); |
| 458 |
if ( $traceDownloads != "" ) { |
| 459 |
print("<tr><td width='90%'>Tracing and Profiling</td><td width='10%' align='right'>$traceDownloads</td></tr>"); |
| 460 |
} |
| 461 |
|
| 462 |
$testDownloads = getFileStatistic( "/tptp.test.runtime*/", "TPTP-4.3.1-200702221346.xml" ); |
| 463 |
if ( $testDownloads != "" ) { |
| 464 |
print("<tr><td width='90%'>Testing</td><td width='10%' align='right'>$testDownloads</td></tr>"); |
| 465 |
} |
| 466 |
|
| 467 |
print( "</table>" ); |
| 468 |
print( "</div>" ); |
| 469 |
|
| 470 |
} |
| 471 |
?> |
| 472 |
|
| 416 |
</div> |
473 |
</div> |
| 417 |
|
474 |
|
