Re: [MirageOS-devel] Any way to get caml4p to run on ARM (cubietruck)?

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> 
> Unfortunately the segmentation fault remains, but now on `server.ml`.
> And I think `server.ml` really *has* to be passed through camlp4o,
> right?

--- a/src/server.ml
+++ b/src/server.ml
@@ -77,13 +77,15 @@ module Main
         in
         c_log (sp "URL: '%s'" path)
         >>= fun () ->
-        try_lwt
-          read_assets path >>= fun body ->
-          S.respond_string ~status:`OK ~body ()
-        with
-        | Failure m ->
-          Printf.printf "CATCH: '%s'\n%!" m;
-          dynamic read_slides req cpts
+        Lwt.catch
+          (fun () ->
+             read_assets path >>= fun body ->
+             S.respond_string ~status:`OK ~body ()
+          ) (function
+              | Failure m ->
+                Printf.printf "CATCH: '%s'\n%!" m;
+                dynamic read_slides req cpts
+              | e -> Lwt.fail e)
       in

       dispatch ~c_log ~read_assets ~read_slides ~conn_id ~req

should fix it. But you will have the same issue on the next one. 

Not sure why your cubi is segfauling. Can you increase the memory of dom0, or 
ulimit, or something else? Seems to work fine on my cubi ...

Thomas

> 
> /M
> 
> -- 
> Magnus Therning                      OpenPGP: 0xAB4DFBA4 
> email: magnus@xxxxxxxxxxxx   jabber: magnus@xxxxxxxxxxxx
> twitter: magthe               http://therning.org/magnus
> 
> The right to search for truth implies also a duty; one must not
> conceal any part of what one has recognized to be true.
>     -- Albert Einstein


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel