Imported Debian patch 1.0.7-17

[nfs-utils.git] / debian / nfs-common.init

diff --git a/debian/nfs-common.init b/debian/nfs-common.init
index 76ceaca2819ff141590043761fae63c09d21b17a..df5fca289018993800860d35a89e9a8c446dfcae 100755 (executable)
--- a/debian/nfs-common.init
+++ b/debian/nfs-common.init
@@ -113,6 +113,14 @@ do_mount() {
     return 0
 }
 
     return 0
 }
 

+do_umount() {
+    if mountpoint -q "$1"
+    then
+       umount "$1"
+    fi
+    return 0
+}
+

 # See how we were called.
 case "$1" in
   start)
 # See how we were called.
 case "$1" in
   start)


@@ -180,6 +188,7 @@ case "$1" in
        printf " statd"
        start-stop-daemon --stop --oknodo --quiet \
            --name rpc.statd
        printf " statd"
        start-stop-daemon --stop --oknodo --quiet \
            --name rpc.statd

+       do_umount $PIPEFS_MOUNTPOINT 2>/dev/null || true

        echo "."
        ;;
 
        echo "."
        ;;