From 9322106c74cd1aa1bdfac6d3f9a079e164b5059c Mon Sep 17 00:00:00 2001
From: SofianeB <bendoukha@dkrz.de>
Date: Fri, 20 Mar 2020 11:44:29 +0100
Subject: [PATCH] Avoid deleting log file after server start.

---
 start-jupyter | 1 -
 1 file changed, 1 deletion(-)

diff --git a/start-jupyter b/start-jupyter
index de4e214..7a47126 100755
--- a/start-jupyter
+++ b/start-jupyter
@@ -360,7 +360,6 @@ function main () {
     printf "Starting jupyter server" >&2
     local url
     url="$(extract_from_logs "^.*\Khttp://localhost:.+" "${jupyter_log}")"
-    ssh_frontend "rm -f ${jupyter_log}"
 
     local port
     port=${url#*t:}
-- 
GitLab