/dev/null"); chdir(__DIR__); if (is_string($resultStr)) { $result = json_decode($resultStr, true); $result["runner"] = $id; } header("Content-Type: application/json"); echo json_encode($result); exit; } ?> Java

☕️ Java Compiler