Jonathan Coates af7af615c7 Correctly shut down computer threads ... We now wait for workers to terminate when closing the computer thread. I'll be honest, I'm not happy with this code. Multi-threading is really hard to get right, and I can't say I'm convinced this is especially well behaved. I did look at trying to model this in TLA+, but in the end decided it wasn't worth it. In the future we probably want to split ComputerExecutor into two objects, where one is our entry in the ComputerThread queue (and so holds timing information) while the other is responsible for actual execution.		2022-10-25 09:32:32 +01:00
..
java/dan200/computercraft	Correctly shut down computer threads	2022-10-25 09:32:32 +01:00
resources	Fix numerous off-by-one errors in help program	2022-09-11 14:57:34 +01:00