summaryrefslogtreecommitdiff
path: root/public/index.php
diff options
context:
space:
mode:
authorJonas Kohl2024-11-07 16:01:59 +0100
committerJonas Kohl2024-11-07 16:01:59 +0100
commit428124f6ce1e67a8405882d7cf8f396486b059f2 (patch)
tree38b1e8b6a217234c27fb8682150da8f41c7db9f5 /public/index.php
parent71c4c50309fa34b7dbbdf90ff8ed589bd23202a0 (diff)
Add runner id to response
Diffstat (limited to 'public/index.php')
-rw-r--r--public/index.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/public/index.php b/public/index.php
index b5135e9..6e0a8fb 100644
--- a/public/index.php
+++ b/public/index.php
@@ -46,8 +46,10 @@ if (isset($_POST["code"]) && strlen($_POST["code"]) <= 16383) {
if (is_string($resultStr)) {
$result = json_decode($resultStr, true);
+ $result["runner"] = $id;
}
+
header("Content-Type: application/json");
echo json_encode($result);
exit;