diff options
| -rwxr-xr-x | etc/rc.d/savecore | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/etc/rc.d/savecore b/etc/rc.d/savecore index 2dd0761..5eaaef0 100755 --- a/etc/rc.d/savecore +++ b/etc/rc.d/savecore @@ -57,7 +57,18 @@ savecore_prestart() savecore_start() { - if savecore -C >/dev/null; then + local dev + + case "${dumpdev}" in + [Aa][Uu][Tt][Oo]) + dev= + ;; + *) + dev="${dumpdev}" + ;; + esac + + if savecore -C "${dumpdir}" "${dev}" >/dev/null; then savecore ${savecore_flags} ${DUMPDIR} ${dumpdev} else [ -z "${rc_quiet}" ] && echo "No core dumps found" |
