diff options
| -rw-r--r-- | debian/live-boot.init | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/live-boot.init b/debian/live-boot.init index 298295d..bb079ee 100644 --- a/debian/live-boot.init +++ b/debian/live-boot.init @@ -25,9 +25,6 @@ DO_SNAPSHOT=/sbin/live-snapshot # Exit if system was not booted by live-boot grep -qs boot=live /proc/cmdline || exit 0 -# Exit if the system was booted from an ISO image rather than a physical CD -grep -qs find_iso= /proc/cmdline && exit 0 - # Read configuration variable file if it is present [ -r /etc/live.conf ] && . /etc/live.conf @@ -153,6 +150,9 @@ do_stop () if [ -z ${QUICKREBOOT} ] then + + # Exit if the system was booted from an ISO image rather than a physical CD + grep -qs find_iso= /proc/cmdline && return 0 # TODO: i18n BOOT_DEVICE="$(get_boot_device)" |