[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



> 
> 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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.