if ($result === true) { $message = "Minecraft instance started successfully."; } else { $message = $result; } } else { if ($_POST['action'] == "restart") { $result = minecraftRestart($service_id); if ($result === true) { $message = "Minecraft instance restarted successfully."; } else { $message = $result; } } else { if ($_POST['action'] == "stop") { $result = minecraftStop($service_id); if ($result === true) { $message = "Minecraft instance stopped successfully."; } else { $message = $result; } } } } if (!isset($_SESSION['noredirect'])) { header("Location: index.php?id=" . $service_id . "&message=" . urlencode($message)); } } $status = minecraftGetStatus($service_id); $botStatus = getServiceParam($service_id, "pid") != 0 ? "Online" : "Offline"; $resources = minecraftResources($service_id);
function minecraftRestart($service_id) { $result = minecraftStop($service_id, true); if ($result === true) { sleep(1); return minecraftStart($service_id); } else { return $result; } }