}
}
}
}
// end phpTerm
/*##########################################################
## The main thing starts here
## All output ist XHTML
##########################################################*/
$terminal = new phpTerm();
$terminal->logout(@$_GET['logout']);
if (!$terminal->checkPassword($passwd)) {
header('WWW-Authenticate: Basic realm="PHP-Terminal"');
header('HTTP/1.0 401 Unauthorized');
} else {
$terminal->initVars();
$terminal->buildCommandHistory();
$terminal->buildJavaHistory();
if (!isset($_SESSION['prompt'])) {
$terminal->formatPrompt();
}
$terminal->outputHandle($aliases);
if (isset($_GET['color'])) {
$_SESSION['color'] = $_GET['color'];
}
/*
echo '<?xml version="1.0" encoding="UTF-8" ?>' . "\n";
*/
?>
<!--<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">-->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
