Agreed. This patch definitely has the undesired side-effect Patrice mentions. It should be easy enough to add an rmdir (please not an rm -r, that could be disastrous) to the patch.
Something more specific to the actual problem would be more appropriate, of course. -- "Cannot remove directory" on unmount due to stale .hal-mtab entries https://bugs.launchpad.net/bugs/95368 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
