>
> 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: [email protected] jabber: [email protected]
> 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
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
