Skip to content
Snippets Groups Projects

Avoid deleting log file after server start.

Merged Sofiane Bendoukha requested to merge k204213/ssh_scripts:master into master
1 file
+ 0
1
Compare changes
  • Side-by-side
  • Inline
+ 0
1
@@ -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:}
Loading