<?
// called from: this module is never called
// description: used to delete cookie file from browser
//
setcookie("cookie[SysID]", "", "", "");
setcookie("cookie[UserID]", "", "", "");
setcookie("cookie[Passwd]", "", "", "");
?>
<html>
<title>Cookie file deleted</title>
<b>Cookie file deleted</b><br>
You must now <a href="login.php">login to the system</a> in order to proceed.
The following information is for diagnostic purposes only.
<?
phpinfo();
?>
</html>