diff --git a/launch.py b/launch.py index e5621bb..71b7ef5 100644 --- a/launch.py +++ b/launch.py @@ -37,6 +37,7 @@ if server_version != version: if os.path.isdir("game"): shutil.rmtree("game") os.rename("ponguito", "game") + os.remove(__file__) os.rename("game/launch.py", __file__) # Lancement du jeu