On Wednesday, 22 July 2015 at 17:01:52 UTC, Marc Schütz wrote:
You can probably simply terminate the main thread, which will send an OwnerTerminated message to all dependent threads. The threads need to `receive()` this message and terminate.
Not possible here. Main has to run the all the time, it's waiting for input and spawns threads accordingly.