[PATCH] knfsd: fix recently introduced problem with shutting down a busy NFS server