diff options
| author | G.raud <graud@gmx.com> | 2018-01-27 22:29:44 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-28 07:15:54 +0100 |
| commit | fd54fcbc54ef08d1c8e4ce544ae1e15ad6cef7fb (patch) | |
| tree | 7a4c6242884184775355d8534cab3ebd55924a57 /src | |
| parent | aa04453843529e6b905744f9cbb5265e755dde9b (diff) | |
| download | unison-fd54fcbc54ef08d1c8e4ce544ae1e15ad6cef7fb.zip unison-fd54fcbc54ef08d1c8e4ce544ae1e15ad6cef7fb.tar.gz unison-fd54fcbc54ef08d1c8e4ce544ae1e15ad6cef7fb.tar.bz2 | |
Uitext.interact: print the hosts when attempting to go back before first item
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 ba7040f..270f26b 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -252,7 +252,7 @@ let interact prilist rilist = displayri pri; display "\n"; display s; display "\n"; previous pril (pri::ril) | pri::pril -> loop pril (pri::ril) - | [] -> loop prev ril in + | [] -> display ("\n" ^ Uicommon.roots2string() ^ "\n"); loop prev ril in function [] -> (ConfirmBeforeProceeding, Safelist.rev prev) | ri::rest as ril -> |