I actually suspect that if you re-mounted /misc/cd and let it time out
it would let you umount /misc; the problem is that a umount of
/misc/cd doesn't execute an rmdir() required to free up the pad
directory. I will play around and see if there is a reasonable way to
deal with this.
-hpa
--
PGP: 2047/2A960705 BA 03 D3 2C 14 A8 A8 BD 1E DF FE 69 EE 35 BD 74
See http://www.zytor.com/~hpa/ for web page and full PGP public key
I am Bahá'í -- ask me about it or see http://www.bahai.org/
"To love another person is to see the face of God." -- Les Misérables
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/