On 2014-01-27 18:35, Georgi Guninski wrote:
On linux:
$man alarm
If seconds is zero, no new alarm() is scheduled.
In any event any previously set alarm() is canceled.
Linux/Unix alarm() is not Sage alarm()...
If you want the direct system call, use the Python interface
signal.alarm() instead. That supports only an integer number of seconds
though.
Jeroen.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
