diff options
| author | G.raud <graud@gmx.com> | 2018-01-28 08:37:16 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-28 09:58:04 +0100 |
| commit | a8802bd4ab067c5f936f998b1c29b5b985816d02 (patch) | |
| tree | 9f1ed3aa2705293febdf32ebb5f3b3d646770824 /src | |
| parent | b21a8333a174ca8e472fcdf6c66e2e0e2a8c3b13 (diff) | |
| download | unison-a8802bd4ab067c5f936f998b1c29b5b985816d02.zip unison-a8802bd4ab067c5f936f998b1c29b5b985816d02.tar.gz unison-a8802bd4ab067c5f936f998b1c29b5b985816d02.tar.bz2 | |
Uitext: reprint the whole prompt line when getInput fails with EINTR
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 ff2cdfc..8b0ca68 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"). *) |