garlicd: send logs to the builder

2021-04-16 09:22:19 +02:00
parent 732b0c0e9c
commit 12ff1fd506
2 changed files with 42 additions and 8 deletions
--- a/garlic/pp/store.nix
+++ b/garlic/pp/store.nix
@@ -26,8 +26,17 @@ in

        echo ${trebuchet} >> /garlic/run
        echo "resultTree: waiting for experiment results..."
+        stdbuf -o 0 tail -f /garlic/st &
+        stpid=$!
        res=$(cat /garlic/completed)

+        kill -TERM $stpid
+
+        if [ "$res" == "ERROR" ]; then
+          echo "resultTree: the experiment failed"
+          exit 1
+        fi
+
        if [ "$res" != "${trebuchet}" ]; then
          echo "resultTree: unknown trebuchet received"
          exit 1