[wesnoth_addon_manager] Remove old campaign directory...

...before unpacking a new one.
2009-07-27 13:58:21 +00:00 · 2009-07-27 13:58:21 +00:00 · 1aa2d5cb8d
commit 1aa2d5cb8d
parent 236019ef4e
1 changed files with 1 additions and 0 deletions
--- a/data/tools/wesnoth/campaignserver_client.py
+++ b/data/tools/wesnoth/campaignserver_client.py
@ -431,6 +431,7 @@ class CampaignClient:
        path is the path under which it will be placed.
        """

+        shutil.rmtree(path, True)
        try:
            os.mkdir(path)
        except OSError: