[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to set timeout / signal
From: |
Ludovic Courtès |
Subject: |
Re: how to set timeout / signal |
Date: |
Wed, 28 Dec 2011 22:51:14 +0100 |
User-agent: |
Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.90 (gnu/linux) |
Hi!
Thien-Thi Nguyen <address@hidden> skribis:
> GNU RCS is failing via timeout (3600 seconds):
>
> http://hydra.nixos.org/build/1658987
>
> (I see 3600 in the Information section, and the
> duration of 1h 1m 4s seems to corroborate that.)
It was killed after 3600 s. of silence, see
<http://hydra.nixos.org/build/1658987/nixlog/1/tail>.
> Is there something i can add to rcs/release.nix to decrease that
> value to something like 300 seconds?
Yes, add ‘meta.timeout’ and/or ‘meta.maxSilent’ fields like this:
diff --git a/rcs/release.nix b/rcs/release.nix
index 23cb141..a94ac8b 100644
--- a/rcs/release.nix
+++ b/rcs/release.nix
@@ -34,6 +34,9 @@ let
license = "GPLv3+";
+ timeout = 1000;
+ maxSilent = 300;
+
# Those who will receive email notifications.
maintainers = [
"Rob Vermaas <address@hidden>"
The ‘meta.timeout’ field is for an absolute timeout, so use with care.
(You might also want to add yourself to meta.maintainers, so you receive
email notifications.)
> Also, IWBN to be able to configure a signal to send prior to the
> (presumed) SIGKILL.
That’s not currently possible. Why would you want that?
Thanks,
Ludo’.