diff options
Diffstat (limited to 'public/index.php')
| -rw-r--r-- | public/index.php | 2 |
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; |