Comment 25 for bug 95368

Revision history for this message
Andrew Jorgensen (ajorg) wrote :

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.