From: Yaron Minsky <yminsky@gmail.com>
To: Caml Mailing List <caml-list@inria.fr>
Subject: getting more information on_exit
Date: Thu, 17 Feb 2005 16:17:20 -0500 [thread overview]
Message-ID: <891bd339050217131757152374@mail.gmail.com> (raw)
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
reply other threads:[~2005-02-17 21:17 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=891bd339050217131757152374@mail.gmail.com \
--to=yminsky@gmail.com \
--cc=caml-list@inria.fr \
--cc=yminsky@cs.cornell.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).