', $output); if (empty($error)) $error = _('Restart "%s" failed',$v_service); $_SESSION['error_msg'] = $error; } unset($output); } header("Location: /list/server/"); exit;