*/
function html_header($title) {
print "\n";
print "\n";
print "$title\n";
print "\n";
print "\n";
print "\n";
}
function html_end() {
print "";
}
function execute($command,$verbose) {
global $allowed_exec;
$command="$allowed_exec[$command]";
if ( $verbose == 1 ) {
print "\n";
system("$command 2>&1",$retval);
print "\n";
}
else {
system("$command 2>/dev/null 1>/dev/null",$retval);
}
return $retval;
}
?>