Brett Jia 9c0a59a75a server: graceful repl exit + multi-repl support (#1362) ...

* server: graceful repl exit + hacky multi-repl support

* remove prints

* more multi-repl layout fixes, ignore benign CancelledError

* add missing import

* disable input function for safety

2024-03-06 07:55:28 -08:00

9.3 KiB

Raw Blame History

View Raw