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()
{
