diff options
Diffstat (limited to 'gen_funcs.sh')
| -rwxr-xr-x | gen_funcs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gen_funcs.sh b/gen_funcs.sh index 7cb6232..eddaf8e 100755 --- a/gen_funcs.sh +++ b/gen_funcs.sh @@ -284,6 +284,7 @@ gen_die() { # Cleanup temp dirs and caches if requested cleanup + [[ -n "${GK_MASTER_PID}" && ${BASHPID} != ${GK_MASTER_PID} ]] && kill -s SIGTERM ${GK_MASTER_PID} exit 1 } |