2 Commits

Author	SHA1	Message	Date
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
Brett Jia	71ce995276	server: add Python REPL support + introduce optional requirements.txt (#1360) ... * wip python repl * reimplement with ptpython repl * hide extra prompts, general cleanup * add ptpython to dependencies * Revert "add ptpython to dependencies" This reverts commit 1b476e665b. * inject system dependencies into requirements for run-time install * write correct requirements.txt contents to disk * Revert "write correct requirements.txt contents to disk" This reverts commit 0ba7f0d91d. * refactor to introduce optional system deps	2024-03-05 17:39:35 -08:00