Eelco Dolstra 9dbfe242e3 * Kill a build if it has gone for more than a certain number of ... seconds without producing output on stdout or stderr (NIX-65). This timeout can be specified using the `--max-silent-time' option or the `build-max-silent-time' configuration setting. The default is infinity (0). * Fix a tricky race condition: if we kill the build user before the child has done its setuid() to the build user uid, then it won't be killed, and we'll potentially lock up in pid.wait(). So also send a conventional kill to the child.		2006-12-08 15:44:00 +00:00
..
figures
bugs.xml
build-farm.xml
conf-file.xml
env-common.xml
glossary.xml
installation.xml
introduction.xml
Makefile.am
manual.xml
nix-build.xml
nix-channel.xml
nix-collect-garbage.xml
nix-env.xml
nix-hash.xml
nix-install-package.xml
nix-instantiate.xml
nix-lang-ref.xml
nix-pack-closure.xml
nix-prefetch-url.xml
nix-pull.xml
nix-push.xml
nix-store.xml
nix-unpack-closure.xml
opt-common-syn.xml
opt-common.xml
package-management.xml
quick-start.xml
quote-literals.xsl
release-notes.xml	* Kill a build if it has gone for more than a certain number of	2006-12-08 15:44:00 +00:00
schemas.xml
style.css
troubleshooting.xml
writing-nix-expressions.xml