* getting more information on_exit
@ 2005-02-17 21:17 Yaron Minsky
0 siblings, 0 replies; only message in thread
From: Yaron Minsky @ 2005-02-17 21:17 UTC (permalink / raw)
To: Caml Mailing List
Does anyone know if it's possible to get more information from the
on_exit call? Right now, the on_exit call just gets unit. It would
be useful, for example, to get the exit code. That would allow one to
distinguish between an ordinary exit and an exceptional one.
The context in which I'm looking at this is ocamlmpi. Right now,
ocamlmpi calls the MPI finalize function on exit. This is all well
and good in normal situations, but when an unexpected exception is
thrown, it would be better to call the abort function. If I could
distinguish between different kinds of exits, this would be easy to
implement.
Yaron
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-02-17 21:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-02-17 21:17 getting more information on_exit Yaron Minsky
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).