more init fixes

[hdw-linux/hdw-linux.git] / misc / sysfiles / etc / init.d / down

diff --git a/misc/sysfiles/etc/init.d/down b/misc/sysfiles/etc/init.d/down
index bca54fc..a93bca0 100755 (executable)
--- a/misc/sysfiles/etc/init.d/down
+++ b/misc/sysfiles/etc/init.d/down
@@ -69,8 +69,8 @@ else
 
        echo "shutting down udev ..."
        /etc/init.d/udev stop
-       umount /dev/pts
-       umount /dev/shm
+       umount /dev/pts ; rm -rf /dev/pts
+       umount /dev/shm ; rm -rf /dev/shm
        umount /dev
 
        echo "unmounting remaining file systems ..."