This introduces a new data structure "restarting", filled once the waiter is
retrieved (after waitpid finished), and the restarting task is woken up.
This fixes #39. Since the create_lock is held during state modification
(i.e. the different coroutines executing the restart) and also when
handling commands.
This introduces a new data structure "restarting", filled once the waiter is retrieved (after waitpid finished), and the restarting task is woken up.
This fixes #39. Since the create_lock is held during state modification (i.e. the different coroutines executing the restart) and also when handling commands.