Ben, the only time you'll see the "REBOOT LINUX" message is when the filesystem is already mounted as /, since init is running there and, well, remounting properly would be tricky I imagine. This is mostly speculation, but makes sense from the bits of code I just read.
-- Deleting large files corrupts EXT3 file system https://launchpad.net/bugs/83982 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
