<?php
//setcookie("history", "", time() - 3600); //to delete a cookie, but did not seem to work
$TOPDIR = '..';
require_once "../lib/functions.php";
echo '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">';
echo "<html><head>\n";
echo "<link href='../lib/style.css' rel=stylesheet type='text/css'>\n";
echo "</head><body>\n";
//insertLogin();
dumpGlobals();
//echo '<p>'; print_r($_SESSION['editable-hosts']); echo "</p>\n";
//foreach ($_SESSION['editable-deps'] as $key => $val) { trace("$key=$val."); }
/*
$xml = docmd("authcheck","",NULL);
echo "<p>authcheck:<br>\n";
foreach ($xml->children() as $response) foreach ($response->children() as $t) { echo (string) $t, "<br>\n"; }
echo "</p>\n";
$xml = docmd('tabdump','',NULL);
echo "<p>tabdump:<br>\n";
foreach ($xml->children() as $response) foreach ($response->children() as $t) { echo (string) $t, "<br>\n"; }
echo "</p>\n";
*/
phpinfo();
echo "</body></html>\n";
?>