diff options
| author | James Broadhead <jamesbroadhead@gmail.com> | 2019-05-20 22:08:20 +0100 |
|---|---|---|
| committer | James Broadhead <jamesbroadhead@gmail.com> | 2019-05-20 22:08:20 +0100 |
| commit | 77ab9b72bd4e62b79e98b911f8a97a2293d646f7 (patch) | |
| tree | 9c6fe5544ee32212fa3a6caef8243edff3e1474e /tools/Linux | |
| parent | f5636182c08afe2e87fdb3aa105c170111e42a01 (diff) | |
[kodi.sh] pass sigterm to kodi binary
Diffstat (limited to 'tools/Linux')
| -rw-r--r-- | tools/Linux/kodi.sh.in | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/Linux/kodi.sh.in b/tools/Linux/kodi.sh.in index 4b2b6a7476..73d8c9be81 100644 --- a/tools/Linux/kodi.sh.in +++ b/tools/Linux/kodi.sh.in @@ -192,6 +192,12 @@ print_crash_report() echo "Crash report available at $FILE" } +propagate_sigterm() { + kill -TERM "$CHILD" 2>/dev/null +} + +trap propagate_sigterm TERM + migrate_home if command_exists gdb; then @@ -207,7 +213,9 @@ while [ $(( $LOOP )) = "1" ] do [ -f "${APPORT_CORE}" ] && rm -f "${APPORT_CORE}" LOOP=0 - ${KODI_BINARY} $SAVED_ARGS + ${KODI_BINARY} $SAVED_ARGS & + CHILD=$! + wait "${CHILD}" RET=$? if [ $(( $RET == 65 )) = "1" ] then # User requested to restart app |