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