1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<?php
# Display this directory to users
# (code used to display test results)
$dir = glob("zipios*");
echo "<html><head><title>Zipios coverage, statistics, and test log information</title><style>body{font-family:sans-serif;}</style></head>";
echo "<body><p style=\"text-align: center;\"><a href=\"/\" title=\"Zipios Home Page\"><img src=\"../images/zipios.jpg\" style=\"width: auto; height: 40px;\"/></a></p><h1>Zipios coverage</h1>";
echo "<table border=\"1\" cellpadding=\"10\" cellspacing=\"0\"><tbody><tr><th>Coverage</th><th>Statistics</th><th>Test Logs</th></tr>";
foreach($dir as $d)
{
echo "<tr>";
echo "<td><a href=\"", $d, "\">", $d, "</a></td>";
echo "<td><a href=\"", $d, "/statistics.html\">", $d, "/statistics.html</td>";
echo "<td><a href=\"", $d, "/test_log.html\">", $d, "/test_log.html</td>";
echo "</tr>";
}
echo "</tbody></table></body></html>";
|
