Harald Hoyer df6bb5e959 shutdown: sleep a little, if a process was killed ... If a process (maybe plymouth) was still pinning /oldroot, then shutdown would - kill -9 $pid - umount_a - umount_a in a very short timeframe. A small sleep hopefully lets the scheduler free up /oldroot in the mean time.		2018-05-15 13:37:53 +02:00
..
module-setup.sh	shutdown: sleep a little, if a process was killed	2018-05-15 13:37:53 +02:00
shutdown.sh	shutdown: sleep a little, if a process was killed	2018-05-15 13:37:53 +02:00