diff options
author | Roy Marples <roy@marples.name> | 2007-05-30 22:30:54 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2007-05-30 22:30:54 +0000 |
commit | 27344f7f27efc2ffa010f97377da7adc39e396c6 (patch) | |
tree | 87f8f3e11f4c58ce9aca886037ac60aabc38f819 /sh | |
parent | 1c1b0b0a4c1800e77caf531c11e2c11a88d69abf (diff) |
Use killall5 again so we can cleanly remount / readonly, #168977
and #177689.
Diffstat (limited to 'sh')
-rw-r--r-- | sh/rc-mount.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 7a2b2a51..be9dffba 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -54,7 +54,7 @@ do_unmount() { if [ ${retry} -le 0 ] ; then case "${cmd}" in umount*) - LC_ALL=C ${cmd} ${extra_opts} "${mnt}" || retry=-999 + LC_ALL=C ${cmd} -f "${mnt}" || retry=-999 ;; *) retry=-999 |