Zombie jupyter servers
On occasions, we have had zombie Jupyter servers:
The user and admin UI shows the server as running. Yet, clicking
on "Stop" triggers an error message "API request failed (400) xxx-at-universite-paris-saclay.fr is not running". And indeed, docker ps shows no container running
with that name.
Since one can't Stop the server, one can't Start it either.
Latest occurrence: Monday November 23rd in the morning.