diff options
Diffstat (limited to 'sh')
-rw-r--r-- | sh/rc-mount.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 *" $$ "*) |