From faa5dd9616d34b5ceb30ad693dcfdc34479d4a5e Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 6 Jul 2005 16:00:45 +0000
Subject: [PATCH] no longer handle Shell exceptions (no more used by
 helm-getter)

---
 helm/http_getter/main.ml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 33ca1ffab..e4cae512c 100644
--- a/helm/http_getter/main.ml
+++ b/helm/http_getter/main.ml
@@ -315,17 +315,6 @@ let callback (req: Http_types.request) outchan =
   | Internal_error msg ->
       log_failure msg;
       return_html_internal_error ("internal_error", msg) msg outchan
-  | Shell.Subprocess_error l ->
-      let msgs =
-        List.map
-          (fun (cmd, code) ->
-            sprintf "Command '%s' returned %s" cmd (string_of_proc_status code))
-          l
-      in
-      let msg = String.concat ", " msgs in
-      log_failure msg;
-      return_html_internal_error ("subprocess_error", msg)
-        (String.concat "<br />\n" msgs) outchan
   | exn ->
       let msg = "uncaught exception: " ^ (Printexc.to_string exn) in
       (match exn with
-- 
2.39.2