Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- cmd=${*}
- # default to 10 seconds
- SIGNAL_TIMEOUT=${SIGNAL_TIMEOUT:-10}
- log() {
- echo "[$(date +%s)] run.sh -- ${1}"
- }
- trap_term() {
- log "Received sigterm, sleeping for: ${SIGNAL_TIMEOUT}s"
- sleep ${SIGNAL_TIMEOUT}s
- log "Forwarding sigterm to: ${child_pid}"
- kill -15 ${child_pid}
- # block returning until children are dead
- wait ${child_pid}
- log "child pid has finished.. exiting"
- }
- trap trap_term SIGTERM
- source /home/matt/Downloads/test
- log "About to run: ${cmd}"
- . ${cmd} &
- child_pid=$!
- log "Child PID: ${child_pid}"
- wait ${child_pid}
Add Comment
Please, Sign In to add comment