diff options
| author | Adrien Nader <adrien@notk.org> | 2016-10-23 12:45:26 +0200 |
|---|---|---|
| committer | Adrien Nader <adrien@notk.org> | 2016-10-23 12:45:26 +0200 |
| commit | c5c27f831afe94dcd54e7f89a9a8f2097a62de0a (patch) | |
| tree | bcdb60624dcab45bd0cf0880a37320c4dc1e75b0 | |
| parent | f8f8aafc3dc6b4ca7171d6b77adccb8da1f37a95 (diff) | |
GUI_Settings: improve the messages about mirror validation.
| -rw-r--r-- | src/yypkg/gui/GUI_Settings.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/yypkg/gui/GUI_Settings.ml b/src/yypkg/gui/GUI_Settings.ml index 1206ccb..bb5c8f6 100644 --- a/src/yypkg/gui/GUI_Settings.ml +++ b/src/yypkg/gui/GUI_Settings.ml @@ -125,11 +125,11 @@ class mirror ~box = let pp_size sz = Lib.pretty_print_size ~pad:true sz in Lib.sp "%s\t%s/s" (pp_size total) (pp_size speed) | `Error s -> - Lib.sp "ERROR: %s." s + Lib.sp "An error occured: %s." s | `Downloaded -> - "Downloaded." + "Repository metadata downloaded." | `Success -> - "Success." + "Repository metadata fetched and validated." | `Started -> "Fetching repository metadata." |