function do_restart($server, $dedi_cfg, $config) { $x = 5; do_stop($server, $dedi_cfg, $config); echo " Wait {$x} second\n\n"; sleep($x); do_start($server, $dedi_cfg, $config); }
if (isset($count_function) && !isset($_SESSION['max_count'])) { $_SESSION['max_count'] = $count_function(); } $action = isset($_REQUEST['processor_action']) ? $_REQUEST['processor_action'] : ''; # allow setup function to do the initial configuration # do not continue further until setup function is happy #if (isset($setup_function)) { # if ($setup_function() == false) # return; #} if ($action == '') { do_frameset(); } elseif ($action == 'view_control_frame') { do_controls(); } elseif ($action == 'start') { do_start(); } elseif ($action == 'pause') { do_pause(); } elseif ($action == 'resume') { do_resume(); } elseif ($action == 'run') { do_run(); } elseif ($action == 'test') { echo "blah"; } elseif ($action == 'none') { echo ""; } return; ############################################################## function do_frameset() {