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>