File tree Expand file tree Collapse file tree 3 files changed +5
-5
lines changed Expand file tree Collapse file tree 3 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 11#! /bin/bash
22
3- trapIt () { " $@ " & pid=" $! " ; trap " kill -INT $pid " INT TERM ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
3+ trapIt () { " $@ " & pid=" $! " ; for SGNL in INT TERM CHLD USR1 ; do trap " kill -$SGNL $pid " " $SGNL " ; done ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
44
55STATIC=/var/www/
66args=" $@ "
@@ -20,4 +20,4 @@ ARGS='--port=8080 --socket-path=/ppm/run --pidfile=/ppm/ppm.pid'
2020# make sure static-directory is not served by php-pm
2121ARGS=" $ARGS --static-directory=''"
2222
23- trapIt /ppm/vendor/bin/ppm start --ansi $ARGS $@
23+ trapIt /ppm/vendor/bin/ppm start --ansi $ARGS $@
Original file line number Diff line number Diff line change 11#! /bin/bash
22
3- trapIt () { " $@ " & pid=" $! " ; trap " kill -INT $pid " INT TERM ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
3+ trapIt () { " $@ " & pid=" $! " ; for SGNL in INT TERM CHLD USR1 ; do trap " kill -$SGNL $pid " " $SGNL " ; done ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
44
5- trapIt /ppm/vendor/bin/ppm --ansi " $@ "
5+ trapIt /ppm/vendor/bin/ppm --ansi " $@ "
Original file line number Diff line number Diff line change 11#! /bin/bash
22
3- trapIt () { " $@ " & pid=" $! " ; trap " kill -INT $pid " INT TERM ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
3+ trapIt () { " $@ " & pid=" $! " ; for SGNL in INT TERM CHLD USR1 ; do trap " kill -$SGNL $pid " " $SGNL " ; done ; while kill -0 $pid > /dev/null 2>&1 ; do wait $pid ; ec=" $? " ; done ; exit $ec ; };
44
55ARGS=' --port 80'
66trapIt /ppm/vendor/bin/ppm start --ansi $ARGS $@
You can’t perform that action at this time.
0 commit comments