euler-webshell: the solver shell, extended for the browser and the web host.

39 filesOpen on GitHub

• msg/

  The message spool: user↔staff threads, on its own uid.

• shell/

  The web shell: the solver shell, extended for a PTY framed by the browser.

• user/

  The per-user web service: one collaborator's content and web shell.

• ws/

  The web-shell service: the solver PTY terminal over WebSocket.

• __init__.py

  euler-webshell: the solver shell, extended for the browser and the web host.

• logout_all.py

  Sign every web user out ahead of a shutdown: run under sudo by logout-all and make logout-web.

• roster.py

  The collaborator roster — /etc/euler/roster/users.json.

• users.py

  The users shell command: account administration for the operator.

• version.py

  The euler-webshell build version — in lockstep with solver.version.