Change plugin naming convention.

[plomrogue] / server / commands.py

diff --git a/server/commands.py b/server/commands.py
index a1f97c98a8d10e9a6076afbe34fb1b2beace3c1e..975e1bd4477800d0d3a22693aeba28981f6c76df 100644 (file)
--- a/server/commands.py
+++ b/server/commands.py
@@ -15,8 +15,8 @@ def command_plugin(str_plugin):
     """Run code in plugins/[str_plugin]."""
     import os
     if (str_plugin.replace("_", "").isalnum()
-        and os.access("plugins/server/" + str_plugin, os.F_OK)):
-        exec(open("plugins/server/" + str_plugin).read())
+        and os.access("plugins/server/" + str_plugin + ".py", os.F_OK)):
+        exec(open("plugins/server/" + str_plugin + ".py").read())
         world_db["PLUGIN"] += [str_plugin]
         return
     print("Bad plugin name:", str_plugin)