diff options
Diffstat (limited to 'winsup/cygwin/select.cc')
| -rw-r--r-- | winsup/cygwin/select.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/winsup/cygwin/select.cc b/winsup/cygwin/select.cc index 8d4b34c94..08fba1256 100644 --- a/winsup/cygwin/select.cc +++ b/winsup/cygwin/select.cc @@ -505,6 +505,12 @@ thread_pipe (void *arg) goto out; } } + /* Paranoid check */ + if (pi->stop_thread_pipe) + { + select_printf ("stopping from outer loop"); + break; + } if (gotone) break; Sleep (10); |