Hub: after LoopExit was raised, it was possible to switch into dead Hub; fix...
Hub: after LoopExit was raised, it was possible to switch into dead Hub; fix it to re-enter loop.run() and then raise LoopExit in a loop
Showing
Please register or sign in to comment