diff options
| author | G.raud <graud@gmx.com> | 2018-01-18 18:36:21 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-18 18:40:52 +0100 |
| commit | a551a71452e2847d955d9b4683b76d9aaba68caa (patch) | |
| tree | 5d37fa9e09e68c4c3b3dfcb17e8c5e9b46452c16 /src | |
| parent | 7d52cfd2ffc03a95d98004b2f2c3f5761816c921 (diff) | |
| download | unison-a551a71452e2847d955d9b4683b76d9aaba68caa.zip unison-a551a71452e2847d955d9b4683b76d9aaba68caa.tar.gz unison-a551a71452e2847d955d9b4683b76d9aaba68caa.tar.bz2 | |
Shorten Uitext.handleException (no functional change)
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 2cfeda9..25891e9 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -836,11 +836,7 @@ let handleException e = restoreTerminal(); let msg = Uicommon.exn2string e in Trace.log (msg ^ "\n"); - if not !Trace.sendLogMsgsToStderr then begin - alwaysDisplay "\n"; - alwaysDisplay msg; - alwaysDisplay "\n"; - end + if not !Trace.sendLogMsgsToStderr then alwaysDisplay ("\n" ^ msg ^ "\n") let rec start interface = if interface <> Uicommon.Text then |