Author: justi9 Date: 2009-04-01 15:40:50 -0400 (Wed, 01 Apr 2009) New Revision: 3249 Modified: mgmt/trunk/cumin/bin/cumin Log: A different method of ensuring the child servers die Modified: mgmt/trunk/cumin/bin/cumin =================================================================== --- mgmt/trunk/cumin/bin/cumin 2009-04-01 19:21:13 UTC (rev 3248) +++ mgmt/trunk/cumin/bin/cumin 2009-04-01 19:40:50 UTC (rev 3249) @@ -1,6 +1,18 @@ #!/bin/bash +function die { + kill "$mpid" + kill "$cpid" +} + +trap die EXIT + mint-server & -trap "kill $!" EXIT +mpid="$!" -cumin-server +cumin-server & +cpid="$!" + +while :; do + sleep 10 +done