addon_manager: allow uploading . dir

fixes GH-2494
wesnoth · Feb 20, 2018 · f7b31e7 · f7b31e7
1 parent 68d5a8d
commit f7b31e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/tools/wesnoth_addon_manager b/data/tools/wesnoth_addon_manager
@@ -301,7 +301,7 @@ if __name__ == "__main__":
 
             # New style with _server.pbl
             pbl_file_name = os.path.join(args.upload, "_server.pbl")
-            name = os.path.basename(args.upload)
+            name = os.path.basename(os.path.realpath(args.upload))
             wmldir = args.upload
             cfgfile = None # _main.cfg will be uploaded with the rest
             ignfile = os.path.join(args.upload, "_server.ign")