diff options
Diffstat (limited to 'remote')
| -rw-r--r-- | remote/includes/cleanup.inc | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/remote/includes/cleanup.inc b/remote/includes/cleanup.inc index 144d7fd9..1b161444 100644 --- a/remote/includes/cleanup.inc +++ b/remote/includes/cleanup.inc @@ -20,10 +20,13 @@ trap cleanexit SIGINT SIGTERM # main cleaner function cleanexit() { - pinfo "SIGINT/SIGTERM triggered - cleaning up ..." + trap '' SIGINT SIGTERM # from now on, ignore INT and TERM + unset_quiet # needed to get trap functioning correctly + pwarning "SIGINT/SIGTERM triggered - cleaning up ..." # unmount and remove the temporary chroot stuff + pinfo "Calling chroot_cleanup_mounts ..." chroot_cleanup_mounts - # TODO vmware etc/vmware/config stuff here, if it is still needed - + exit 1 # perhaps a better exit code? } + |