From 570809bfe9d153395fdd3ed06c664f33c497bc8e Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Sat, 30 Oct 2021 12:23:24 +0200
Subject: [PATCH] Allow whitespace for JSON exit

---
 lib/runner/connection.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/runner/connection.rb b/lib/runner/connection.rb
index 7a58bd8f..150c7cb5 100644
--- a/lib/runner/connection.rb
+++ b/lib/runner/connection.rb
@@ -90,7 +90,7 @@ class Runner::Connection
 
   def ignored_sequence?(event_data)
     case event_data
-      when "#exit\r", "{\"cmd\": \"exit\"}\r"
+      when /#exit\r/, /\s*{"cmd": "exit"}\r/
         # Do not forward. We will wait for the confirmed exit sent by the runner management.
         true
       else