* [Caml-list] dumb question about Unix module
@ 2001-07-19 11:20 Nils Goesche
2001-07-19 11:37 ` Remi VANICAT
2001-07-19 11:40 ` Markus Mottl
0 siblings, 2 replies; 5+ messages in thread
From: Nils Goesche @ 2001-07-19 11:20 UTC (permalink / raw)
To: caml-list
Hi!
Unix.alarm 3 will raise a signal after a few seconds all right. Now,
how do I catch it?
Regards,
--
Nils Goesche
"Don't ask for whom the <CTRL-G> tolls."
PGP key ID 0x42B32FC9
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] dumb question about Unix module
2001-07-19 11:20 [Caml-list] dumb question about Unix module Nils Goesche
@ 2001-07-19 11:37 ` Remi VANICAT
2001-07-19 11:40 ` Markus Mottl
1 sibling, 0 replies; 5+ messages in thread
From: Remi VANICAT @ 2001-07-19 11:37 UTC (permalink / raw)
To: caml-list
Nils Goesche <cartan@cartan.de> writes:
> Hi!
>
> Unix.alarm 3 will raise a signal after a few seconds all right. Now,
> how do I catch it?
You have to look elsewhere : in the module Sys of the standard library
there is some function for signal handling, that can catch it.
--
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] dumb question about Unix module
2001-07-19 11:20 [Caml-list] dumb question about Unix module Nils Goesche
2001-07-19 11:37 ` Remi VANICAT
@ 2001-07-19 11:40 ` Markus Mottl
2001-07-19 12:00 ` Nils Goesche
1 sibling, 1 reply; 5+ messages in thread
From: Markus Mottl @ 2001-07-19 11:40 UTC (permalink / raw)
To: Nils Goesche; +Cc: caml-list
Nils Goesche schrieb am Donnerstag, den 19. Juli 2001:
> Unix.alarm 3 will raise a signal after a few seconds all right. Now,
> how do I catch it?
See module "Sys" and type "signal_behaviour" and function "set_signal"
in the manual:
http://caml.inria.fr/ocaml/htmlman/manual063.html
Regards,
Markus Mottl
--
Markus Mottl markus@oefai.at
Austrian Research Institute
for Artificial Intelligence http://www.oefai.at/~markus
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] dumb question about Unix module
2001-07-19 11:40 ` Markus Mottl
@ 2001-07-19 12:00 ` Nils Goesche
2001-07-19 12:17 ` [Caml-list] another " Nils Goesche
0 siblings, 1 reply; 5+ messages in thread
From: Nils Goesche @ 2001-07-19 12:00 UTC (permalink / raw)
To: caml-list
Markus Mottl <markus@mail4.ai.univie.ac.at> writes:
> Nils Goesche schrieb am Donnerstag, den 19. Juli 2001:
> > Unix.alarm 3 will raise a signal after a few seconds all right. Now,
> > how do I catch it?
>
> See module "Sys" and type "signal_behaviour" and function "set_signal"
> in the manual:
Now that was fast :-) Thanks everybody!
--
Nils Goesche
"Don't ask for whom the <CTRL-G> tolls."
PGP key ID 0x42B32FC9
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] another dumb question about Unix module
2001-07-19 12:00 ` Nils Goesche
@ 2001-07-19 12:17 ` Nils Goesche
0 siblings, 0 replies; 5+ messages in thread
From: Nils Goesche @ 2001-07-19 12:17 UTC (permalink / raw)
To: caml-list
Nils Goesche <cartan@cartan.de> writes:
> Markus Mottl <markus@mail4.ai.univie.ac.at> writes:
>
> > Nils Goesche schrieb am Donnerstag, den 19. Juli 2001:
> > > Unix.alarm 3 will raise a signal after a few seconds all right. Now,
> > > how do I catch it?
> >
> > See module "Sys" and type "signal_behaviour" and function "set_signal"
> > in the manual:
>
> Now that was fast :-) Thanks everybody!
Hm. Isn't this somewhat strange, though:
# Sys.sigalrm;;
- : int = -2
Why not 14 (which is what the handler is called with)?
Regards,
--
Nils Goesche
"Don't ask for whom the <CTRL-G> tolls."
PGP key ID 0x42B32FC9
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2001-07-19 12:17 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-07-19 11:20 [Caml-list] dumb question about Unix module Nils Goesche
2001-07-19 11:37 ` Remi VANICAT
2001-07-19 11:40 ` Markus Mottl
2001-07-19 12:00 ` Nils Goesche
2001-07-19 12:17 ` [Caml-list] another " Nils Goesche
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox