Server: Transform PLUGIN command to God command, save its input.

[plomrogue] / server / commands.py

diff --git a/server/commands.py b/server/commands.py
index a3b68bcc62dfc810e22035e06d3b3a5eb0fe8771..a1f97c98a8d10e9a6076afbe34fb1b2beace3c1e 100644 (file)
--- a/server/commands.py
+++ b/server/commands.py
@@ -17,6 +17,7 @@ def command_plugin(str_plugin):
     if (str_plugin.replace("_", "").isalnum()
         and os.access("plugins/server/" + str_plugin, os.F_OK)):
         exec(open("plugins/server/" + str_plugin).read())
+        world_db["PLUGIN"] += [str_plugin]
         return
     print("Bad plugin name:", str_plugin)