diff options
| author | Steffen Sledz <sledz@dresearch.de> | 2010-06-23 08:05:24 +0200 |
|---|---|---|
| committer | Steffen Sledz <sledz@dresearch.de> | 2010-06-23 14:01:30 +0200 |
| commit | 0852ec18af43ef172cdf71a0865ca64dbe790082 (patch) | |
| tree | d7b45014e636e92f8d1fe30b11189d9d7efd7234 | |
| parent | 709663f88c8b03a14c51b5135bea373fc80efb87 (diff) | |
udev/mount.sh: use lazy umount
* umount will fail if there are processes accessing files at the
device, use lazy umount to avoid this problem
Signed-off-by: Steffen Sledz <sledz@dresearch.de>
Acked-by: Koen Kooi <koen@openembedded.org>
| -rw-r--r-- | recipes/udev/files/mount.sh | 2 | ||||
| -rw-r--r-- | recipes/udev/files/slugos/mount.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/recipes/udev/files/mount.sh b/recipes/udev/files/mount.sh index be8b3dfca9..440dcee57b 100644 --- a/recipes/udev/files/mount.sh +++ b/recipes/udev/files/mount.sh @@ -64,7 +64,7 @@ fi if [ "$ACTION" = "remove" ] && [ -x "$UMOUNT" ] && [ -n "$DEVNAME" ]; then for mnt in `cat /proc/mounts | grep "$DEVNAME" | cut -f 2 -d " " ` do - $UMOUNT $mnt + $UMOUNT -l $mnt done # Remove empty directories from auto-mounter diff --git a/recipes/udev/files/slugos/mount.sh b/recipes/udev/files/slugos/mount.sh index 0990a7e85a..b5298e97a2 100644 --- a/recipes/udev/files/slugos/mount.sh +++ b/recipes/udev/files/slugos/mount.sh @@ -75,7 +75,7 @@ fi if [ "$ACTION" = "remove" ] && [ -x "$UMOUNT" ] && [ -n "$DEVNAME" ]; then for mnt in `cat /proc/mounts | grep "$DEVNAME" | cut -f 2 -d " " ` do - $UMOUNT $mnt + $UMOUNT -l $mnt done # Remove empty directories from auto-mounter |