I think I might have found the solution. At least I appear to have solved the problem for my user who reported it. I'm wary that it might yet re-occur though.
I added some commands to /etc/init.d/halt.local that make sure that all NFS mounts are un-mounted. E.g. this makes sure that all home directories are unmounted (in theory anyway).
|
Code:
|
cd /home
if [ -n "$(ls)" ];then
for i in *;do
# kill processes belonging to that user
skill $i;
# umount this home directory
umount $i;
done
fi
cd - |
This is for where home directories are mounted independently of each other using autofs. If you mount home directories with the all-or-nothing approach using a line in /etc/fstab then the code needs to be different. I think this:
|
Code:
|
cd /home
if [ -n "$(ls)" ];then
for i in *;do
skill $i;
done
fi
cd -
umount /home |
If you have a lot of home directories in /home then that script could take a while though!