raphdg opened this issue 13 years ago · 1 comments
Need to find an equivalent.
We don't use signal.pause() anymore. Fixed.