The Guile process taking the role of PID 1 during Guix builds does not reap zombie processes, which makes them continue responding to "kill -0". --- a/src/testsuite/stop-server.sh 2015-02-05 11:24:00.535908842 +0100 +++ b/src/testsuite/stop-server.sh 2015-02-05 11:25:00.264351349 +0100 @@ -1,6 +1,21 @@ #!/bin/sh # ngIRCd Test Suite +process_is_alive(){ + ! process_is_dead "$1" && ! process_is_undead "$1" +} + +process_is_dead(){ + ! kill -0 "$1" +} + +process_is_undead(){ + case $(ps -p "$1" -o state=) in + (Z*) true ;; + (*) false ;; + esac +} + [ -z "$srcdir" ] && srcdir=`dirname $0` # read in functions @@ -24,7 +40,7 @@ # waiting ... for i in 1 2 3 4 5; do - kill -0 $pid > /dev/null 2>&1; r=$? + process_is_alive $pid > /dev/null 2>&1; r=$? if [ $r -ne 0 ]; then echo " ok". exit 0 lect> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/graph.scm
AgeCommit message (Expand)Author
2018-06-02gnu: r-rgraphviz: Update to 2.24.0....Ricardo Wurmus
2018-04-21gnu: r-igraph: Update to 1.2.1....Ricardo Wurmus
2018-03-27gnu: python-plotly: Update to 2.4.1....Tobias Geerinckx-Rice
2018-03-17gnu: Use HTTPS for r-project.org home pages....Tobias Geerinckx-Rice
2018-03-15gnu: Add python-plotly....Leo Famulari
2018-03-02gnu: Add r-rbiofabric....Ricardo Wurmus
2017-12-18gnu: Add r-diffusionmap....Ricardo Wurmus
2017-11-07gnu: r-rgraphviz: Update to 2.22.0....Ricardo Wurmus
2017-10-22gnu: Add r-rgraphviz....Ricardo Wurmus
2017-08-09gnu: r-igraph: Move to (gnu packages graph)....Ricardo Wurmus
2017-08-09gnu: Add python-igraph....Ricardo Wurmus
2017-08-09gnu: Add igraph....Ricardo Wurmus