Alexander Boettcher 97bbad5aea nova: avoid dying thread in platform.run ... Avoids timely interference by dying thread. Fixes #3670		2020-03-26 11:38:54 +01:00
..
platform	nova: avoid dying thread in platform.run	2020-03-26 11:38:54 +01:00