interactive shell websockets#79

Merged

antoineleclair merged 12 commits intomainfrom

interactive-shell

Jan 16, 2026

Commits on Dec 9, 2025

interactive shell websockets
gregsadetsky
committed

Commits on Dec 10, 2025

add restart=no flag to ensure shell container is not rebooted
gregsadetsky
committed
use sh instead of bash; heartbeats and pong replies; better polling not using sleep; multiple ways of removing orphan shell containers
gregsadetsky
committed
allow executing one time commands through the shell endpoint
gregsadetsky
committed