diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index d1a09a4..dac77e5 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -188,7 +188,7 @@ let rec selectAction batch actions tryagain = with (* Restart an interrupted system call (which can happen notably when * the process is put in the background by SIGTSTP). *) - Unix.Unix_error (Unix.EINTR, _, _) -> selectAction batch actions tryagain + Unix.Unix_error (Unix.EINTR, _, _) -> tryagainOrLoop() (* Simply print a slightly more informative message than the exception * itself (e.g. "Uncaught unix error: read failed: Resource temporarily * unavailable" or "Uncaught exception End_of_file"). *) |