diff options
| author | 2019-09-01 08:41:22 +0100 | |
|---|---|---|
| committer | 2019-09-01 08:41:22 +0100 | |
| commit | 14125a6048500757cdd4a3e35fdb1bc5fd429006 (patch) | |
| tree | ad39360eb8d7b8720705220f9d76c760ac2996f3 /modules/admin.py | |
| parent | store and expose reconnection timers on IRCBot.reconnections (diff) | |
| signature | ||
also cancel reconnections with !disconnect
Diffstat (limited to 'modules/admin.py')
| -rw-r--r-- | modules/admin.py | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/modules/admin.py b/modules/admin.py index 5014f766..ca27ee91 100644 --- a/modules/admin.py +++ b/modules/admin.py @@ -83,8 +83,15 @@ class Module(ModuleManager.BaseModule): raise utils.EventError("Unknown server alias") server = self.bot.get_server_by_id(id) - server.disconnect() - self.bot.disconnect(server) + if not server == None: + server.disconnect() + self.bot.disconnect(server) + elif id in event["server"].reconnections: + event["server"].reconnections[id].cancel() + del event["server"].reconnections[id] + else: + raise utils.EventError("Server not connected") + event["stdout"].write("Disconnected from %s" % str(server)) @utils.hook("received.command.shutdown") |
