3 Commits

Author	SHA1	Message	Date
Heikki Aitakangas	a578763b89	Use a dedicated ScriptDeath type to signal script termination instead of WorkerScript ... Problem with throwing WorkerScript is that the termination signal object can pass through user code, which permits user to modify that object and all parts of the game state accessible through it.	2022-04-02 23:28:21 +03:00
Olivier Gagnon	009bae5870	catch scripts taht end too early	2021-12-20 16:06:19 -05:00
Olivier Gagnon	e9886cc6bc	fix uncaught promise	2021-12-20 13:57:07 -05:00