On Oct 10, Stefan Grefen wrote
> That shouldn't matter after a panic , as we don't turn the power of
> and just reboot.

It does mater on my PC. The disk's cache is cleared by the hard reset
(so my / FS is not marked clean even after a regular reboot).
The 2 seconds delay helps here, but some disks may need more, and anyway it
was not the original itend of this patch.

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--