The problem (umount of a NFS volume of a disappeared NFS server is stuck in the kernel)
has nothing to do with a particular filemanager. This is only one possibility where the
symptoms of the problem surface.
I think this problem should be reported as a bug in the package nfs-common or the
Linux kernel, because even the /sbin/umount.nfs with option -f (force) given hangs
in the umount() system call, which can be seen by using the command
strace -p `pidof /sbin/umount.nfs`
in another terminal window.
The problem (umount of a NFS volume of a disappeared NFS server is stuck in the kernel)
has nothing to do with a particular filemanager. This is only one possibility where the
symptoms of the problem surface.
I think this problem should be reported as a bug in the package nfs-common or the
Linux kernel, because even the /sbin/umount.nfs with option -f (force) given hangs
in the umount() system call, which can be seen by using the command
strace -p `pidof /sbin/umount.nfs`
in another terminal window.