Display a better error message when the internet connection is down.

samoht · Sep 22, 2012 · 1630990 · 1630990
1 parent 32ccf26
commit 1630990
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/run.ml b/src/run.ml
@@ -433,8 +433,11 @@ let download ~filename:src ~dirname:dst =
       [ "rm"; "-f"; dst_file ];
       [ "cp"; src; dst ]
     ]
-  else
-    in_dir dst (fun () -> command cmd);
+  else (
+    try in_dir dst (fun () -> command cmd)
+    with _ ->
+      Globals.error_and_exit "Cannot download %s, please check your connection settings." src
+  );
   dst_file
 
 let patch p =