search

rust-lang / rust-playground

The Rust Playground
https://play.rust-lang.org/
Apache License 2.0
1.2k stars 203 forks source link

Allow killing the process after closing stdin #1026

Closed shepmaster closed 6 months ago

shepmaster commented 6 months ago

Removing it from the map means we can never do anything else with it. Oops.