Newer
Older
# Wait for the Jupyterlab server to start
echo "Waiting for Jupyterlab server to open port ${port}..."
if wait_until_port_used "${host}:${port}" 600; then
echo "Discovered Jupyterlab server listening on port ${port}!"
echo "Timed out waiting for Jupyterlab server to open port ${port}!"