From 0f4328e1713dfea73e82c91a3ca194d734416fe3 Mon Sep 17 00:00:00 2001
From: Jonas Kohl
Date: Thu, 7 Nov 2024 17:59:09 +0100
Subject: Dockerize whole application

---
 generate-status-object.php | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 generate-status-object.php

(limited to 'generate-status-object.php')

diff --git a/generate-status-object.php b/generate-status-object.php
deleted file mode 100644
index 9d19070..0000000
--- a/generate-status-object.php
+++ /dev/null
@@ -1,30 +0,0 @@
-<?php
-
-if (empty($argv[1])) {
-    file_put_contents("php://stderr", "No runner ID specified");
-    exit(1);
-}
-
-define("WORK_DIR", __DIR__ . "/_runners/" . $argv[1] . "/results");
-
-function get(string $name): ?string {
-    $file = WORK_DIR . "/" . $name;
-    if (!is_file($file))
-        return null;
-    return file_get_contents($file);
-}
-
-$data = [
-    "compile" => [
-        "status" => get("c.s"),
-        "stdout" => get("c.0"),
-        "stderr" => get("c.1"),
-    ],
-    "run" => [
-        "status" => get("r.s"),
-        "stdout" => get("r.0"),
-        "stderr" => get("r.1"),
-    ],
-];
-
-echo json_encode($data, JSON_UNESCAPED_SLASHES | JSON_PRETTY_PRINT) . PHP_EOL;
-- 
cgit v1.2.3