~ salmonella-environment-setup (master) 2f997018efd8d9ae1701314f5565373fa8fd8ac1

commit 2f997018efd8d9ae1701314f5565373fa8fd8ac1
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Sat Dec 9 21:24:22 2023 +0100
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Sat Dec 9 21:24:26 2023 +0100

    conf/common/common.scm: Remove settings related to kill-hanging-children
    
    Support for kill-hanging children has been removed from
    salmonella-run-publish in favor of the `timeout` program.

diff --git a/conf/common/common.scm b/conf/common/common.scm
index a92ca16..f521ce9 100644
--- a/conf/common/common.scm
+++ b/conf/common/common.scm
@@ -32,12 +32,3 @@
 (feeds-server
  (sprintf "salmonella-~a-~a.call-cc.org"
           (software-version) (machine-type)))
-
-;; Those are currently the only systems supported by
-;; kill-hanging-children
-(when (memq (software-version) '(linux freebsd))
-  (hanging-process-killer-program "kill-hanging-children")
-
-  (hanging-process-killer-program-args
-   (lambda (pid publish-dir)
-     (list pid publish-dir))))