Commit 35560ae0 authored by Mathis Rosenhauer's avatar Mathis Rosenhauer

Merge branch 'master' into 'master'

Avoid deleting log file after server start.

See merge request !1
parents 9b84aab1 9322106c
......@@ -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:}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment