function show_form($value = "")
{
?>
<?php
do_refresh_button();
?>
<form method="post">
condor_q
<input type=text name=value value="<?php
echo $value;
?>
">
<input type=submit>
</form>
<?php
}
do_refresh_button();
?>
<?php
function execute_command($command = "")
{
if (isset($command) && !empty($command)) {
$output = `{$command} 2>&1`;
$output = htmlentities($output);
print "<h2>{$command}</h2>";
print "<p><pre>{$output}</pre></p>";
print "<hr><p>Last update on ";
print date(DATE_RFC822);
print "</p>";
}
}
?>
<?php
$command = $_REQUEST['command'];
// grab user input
execute_command($command);
?>
<?php
do_refresh_button();
?>
</body>
</html>
