jefdaj opened this issue 5 years ago · 0 comments
This shouldn't happen anyway, but in the meantime it should be detected and a new one spawned, both immediately and on page refresh.