diff options
| author | G.raud <graud@gmx.com> | 2018-01-27 22:27:10 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-28 07:15:54 +0100 |
| commit | aa04453843529e6b905744f9cbb5265e755dde9b (patch) | |
| tree | 0582ee6409b582830424923aa056d164c3060ff8 /src | |
| parent | 1d70402d593ae8da93ab08d07e62aa17f0cf4457 (diff) | |
| download | unison-aa04453843529e6b905744f9cbb5265e755dde9b.zip unison-aa04453843529e6b905744f9cbb5265e755dde9b.tar.gz unison-aa04453843529e6b905744f9cbb5265e755dde9b.tar.bz2 | |
Uitext.interact: place the host display at the start (no functional changes)
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 7dea571..ba7040f 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -242,9 +242,9 @@ type proceed = ConfirmBeforeProceeding | ProceedImmediately (* "interact [] rilist" interactively reconciles each list item *) let interact prilist rilist = + if not (Prefs.read Globals.batch) then display ("\n" ^ Uicommon.roots2string() ^ "\n"); let (r1,r2) = Globals.roots() in let (host1, host2) = root2hostname r1, root2hostname r2 in - if not (Prefs.read Globals.batch) then display ("\n" ^ Uicommon.roots2string() ^ "\n"); let rec loop prev = let rec previous prev ril = match prev with |