> > Thread.interrupt (as in jthread_interrupt()) is currently not > implemented for pthreads. You can implement it if you like - > possibly using a system, then you must disambiguate the reason a signal > why your select was interrupted on EINTR. with > - Godmar