Skip to content
Snippets Groups Projects
after.sh 469 B
Newer Older
# Wait for the Jupyterlab server to start
echo "Waiting for Jupyterlab server to open port ${port}..."
Jeremy Nicklas's avatar
Jeremy Nicklas committed
echo "TIMING - Starting wait at: $(date)"
if wait_until_port_used "${host}:${port}" 600; then
  echo "Discovered Jupyterlab server listening on port ${port}!"
Jeremy Nicklas's avatar
Jeremy Nicklas committed
  echo "TIMING - Wait ended at: $(date)"
  echo "Timed out waiting for Jupyterlab server to open port ${port}!"
Jeremy Nicklas's avatar
Jeremy Nicklas committed
  echo "TIMING - Wait ended at: $(date)"
Jeremy Nicklas's avatar
Jeremy Nicklas committed
  pkill -P ${SCRIPT_PID}
  clean_up 1