The Floppy disk does not get unmounted when a user logout of Gnome.
I can confirm this on both October GNOME and the GNOME version originally shipped with RH61, both on Intel.
Is this a gdm issue?
I'd guess it's automount's doing.
is it supposed to get unmounted? I suppose it's a good idea. Opinions guys? We could do it in the shutdown handler function in gmc, right?
this is too controversial and non-standard to fix right now.