Can't unmount broken nfs mount

Phillip Susi
2014-02-10T23:25:07Z

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Forwarding from debian bug #711183:

User reports that a broken nfs mount has its mounted directory in
/proc/mounts renamed from /foo to /foo\040(deleted) when an nfs mount
is broken due to an unreachable server, and this prevents unmounting
it since umount can not find "/foo" in /proc/mounts. Is this a kernel
bug, or something that umount needs to work around?

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBCgAGBQJS+V/RAAoJEI5FoCIzSKrwrSYIAIabY0n6tptzm+DenwAv8cf4
fb7bb7+rcjXXpeYEzyD7xIDvmRgNuYoxMOdTfRkMeR04K4E8MDKx98pH0WU8m2CY
SQh0WCVKStxNFYOd8DugeRYP0kaisyhoe43XtKyHGjwvpNXIjDEsPFV30Rw1cLQa
OJD2FrZLNUhciuvzRXl17mmUowWqGa9QqoVA54Hn2dkgmP3Arlkx+11cxwxD3zE1
OXplSvugMfwgDugLawdorDrUl37Efv47+l4yW6ZiLjhb6cu8QxDQDpaTgHLXtFJi
ZBECGDbKDDEBbNWGvjSkY40CaTiZeEXn5DePYQkY1iaq8TfhXHi/YTg21w7Srgg=
=dvV4
-----END PGP SIGNATURE-----