When running on the same server, if and when the students had to restart Jupyter, it would typically restart with a different port number. This would mean any old tabs still open in their browser would no longer work.
(Also, to be confirmed, could those old tabs start to point at another instance if a different student restarted and got that port number? Thought this happened once)
Don't want to have to use jupyter notebook --port 8123 or similar.
We can probably set a per-user-account default in the Jupyter configuration as part of the user creation and repo copying scripts?
When running on the same server, if and when the students had to restart Jupyter, it would typically restart with a different port number. This would mean any old tabs still open in their browser would no longer work.
(Also, to be confirmed, could those old tabs start to point at another instance if a different student restarted and got that port number? Thought this happened once)
Don't want to have to use
jupyter notebook --port 8123or similar.We can probably set a per-user-account default in the Jupyter configuration as part of the user creation and repo copying scripts?