From 9b8027e4c0b818bbf20e8b1f9208a3d6fd083ac5 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Tue, 14 Feb 2017 13:35:21 +0100
Subject: [PATCH] replaced exit-command for containers from 'exit' to '#exit',
 otherwise it will always really exit the container (which is then in state:
 exited) if we execute it in bash.

---
 app/controllers/submissions_controller.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/controllers/submissions_controller.rb b/app/controllers/submissions_controller.rb
index 16fcd697..361ed866 100644
--- a/app/controllers/submissions_controller.rb
+++ b/app/controllers/submissions_controller.rb
@@ -173,7 +173,7 @@ class SubmissionsController < ApplicationController
 
   def handle_message(message, tubesock, container)
     # Handle special commands first
-    if (/^exit/.match(message))
+    if (/^#exit/.match(message))
       kill_socket(tubesock)
       @docker_client.exit_container(container)
     else