-
simonmar authored
interruptStgRts: call threadRunnable(). This might not work properly from a signal handler, but it's all we can do (and seems to do something reasonable on Linux).
8974a27f
interruptStgRts: call threadRunnable(). This might not work properly from a signal handler, but it's all we can do (and seems to do something reasonable on Linux).