...
You may go to the JupyterHub home at at https://jupyterhub.ecmwf.int/hub/home and click on the red button "Stop My Server". After a few seconds, you will be able to start a new one with the desired settings.
...
You may go to the JupyterHub home at at https://jupyterhub.ecmwf.int/hub/home and click on the red button "Stop My Server". After a few seconds, you will be able to start a new one with the desired settings.