The only thing running here is discourse, which is placed in /var/discourse.

After an update, check that discourse is running under discourse.ps.uni-saarland.de

If not, restart docker (systemctl restart docker) and try rebuilding discourse (cd /var/discourse && ./launcher rebuild app). This takes a while.

There's also an sosml instance running on discourse, started via "tmux-start-sosml" in the home directory of admin as admin. Attaching works via "tmux attach -t sosml", exiting via C-B D Enter.