<li>
<input type="radio" name="run" value="' . $t . '" />' . $t . '
<a href="index.php?details=' . $t . '"> Details</a>
</li>';
}
echo '
</ul>
</fieldset>
</form>';
if (isset($_REQUEST['details'])) {
echo '
<fieldset class="fieldset">
<legend><b>' . $_REQUEST['details'] . ' details</b></legend>
<pre>';
$testSuite = new TestSuite(substr($_REQUEST['details'], 0, -3));
echo $testSuite->displayDetails();
echo '
</pre>
</fieldset>';
}
echo '
</td>
<td width="90%">
<fieldset class="fieldset">
<legend><span class="fieldsetTitle">Results</span></legend>
<pre>';
if (isset($_REQUEST['run'])) {
// manage request
$testSuite = new TestSuite(substr($_REQUEST['run'], 0, -3), $connectedUser);
$result = $testSuite->run();
if ($result) {
