1 diff -ur rc-scripts-0.4.11.orig/rc.d/rc.sysinit rc-scripts-0.4.11/rc.d/rc.sysinit
2 --- rc-scripts-0.4.11.orig/rc.d/rc.sysinit 2014-03-02 10:02:29.000000000 +0000
3 +++ rc-scripts-0.4.11/rc.d/rc.sysinit 2014-05-11 15:06:33.166000019 +0000
8 - if [ -n "$PANIC_REBOOT_TIME" -a "$PANIC_REBOOT_TIME" -gt "0" -a -f /proc/sys/kernel/panic ]; then
9 + if [ -n "$PANIC_REBOOT_TIME" ] && [ "$PANIC_REBOOT_TIME" -gt "0" ] && [ -f /proc/sys/kernel/panic ]; then
10 show 'Setting %s seconds for kernel reboot after panic' "$PANIC_REBOOT_TIME"; busy
11 # DEPRECATED: use /etc/sysctl.conf or kernel commandline instead
12 if sysctl -q -w kernel.panic=$PANIC_REBOOT_TIME; then ok; else fail; fi