diff options
| -rw-r--r-- | etc/rc.conf.Linux | 4 | ||||
| -rw-r--r-- | sh/rc-mount.sh | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/etc/rc.conf.Linux b/etc/rc.conf.Linux index 4fb48ae9..d85b1c1b 100644 --- a/etc/rc.conf.Linux +++ b/etc/rc.conf.Linux @@ -20,6 +20,10 @@ # consolefont, numlock, etc ...) rc_tty_number=12 +# This is how long fuser should wait for a remote server to respond. The +# default is 60 seconds, but it can be adjusted here. +#rc_fuser_timeout=60 + ############################################################################## # CGROUPS RESOURCE MANAGEMENT diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 2bb14504..454f9f92 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -41,7 +41,8 @@ do_unmount() retry=4 # Effectively TERM, sleep 1, TERM, sleep 1, KILL, sleep 1 while ! LC_ALL=C $cmd "$mnt" 2>/dev/null; do if type fuser >/dev/null 2>&1; then - pids="$(fuser $f_opts "$mnt" 2>/dev/null)" + pids="$(timeout -k 10 -s KILL "${rc_fuser_timeout:-60}" \ + fuser $f_opts "$mnt" 2>/dev/null)" fi case " $pids " in *" $$ "*) |