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

6 filesOpen on GitHub

• __init__.py

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

• __main__.py

  Web-shell service entry point: python -m euler_webshell.ws.

• app.py

  The web-shell aiohttp app: identity from forward_auth, the /ws attach, teardown.

• config.py

  Web-shell service runtime configuration, read from the environment.

• manager.py

  Persistent per-user PTY shells: one long-lived solver shell per web user.

• pty.py

  PTY bridge: run an interactive solver shell on a pseudo-terminal.