Just curious, but was it really infinite? I think there's a weird default of waiting something like 5 minutes for certain services to stop...? (You could have

Just curious, but was it really infinite? I think there's a weird default of waiting something like 5 minutes for certain services to stop...? (You could have also hit the infamous NFS unmount bug which is basically just a kernel fuck-up.)