On Wed, May 20, 2015 at 05:06:27PM +0100, Thomas Gazagnaire wrote: > > > > 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 > ...
`ulimit` give "unlimited". I'm not sure how to increase the memory of dom0... the memory-related commands of `xe` seems to require the domain be halted when memory ranges are modified. /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: [email protected] jabber: [email protected] twitter: magthe http://therning.org/magnus If our ideas of intellectual property are wrong, we must change them, improve them and return them to their original purpose. When intellectual property rules diminish the supply of new ideas, they steal from all of us. -- Andrew Brown, November 19, 2005, The Guardian
pgpRWMrrQJKDb.pgp
Description: PGP signature
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
