diff options
| author |  jesopo | 2019-05-21 10:42:40 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-21 10:42:40 +0100 |
| commit | 9124f84e2547ec346e7e9a2adf2bec7a639c27d9 (patch) | |
| tree | 1382d2f4b595f69ca068ffe605d04a5644da117c /modules/admin.py | |
| parent | Add !addserver command (diff) | |
| signature | ||
Strip "+" from the start of `port` after checking if it is present
Diffstat (limited to 'modules/admin.py')
| -rw-r--r-- | modules/admin.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/admin.py b/modules/admin.py index 22c03314..40a9720b 100644 --- a/modules/admin.py +++ b/modules/admin.py @@ -111,6 +111,7 @@ class Module(ModuleManager.BaseModule): alias = event["args_split"][0] hostname, sep, port = event["args_split"][1].partition(":") tls = port.startswith("+") + port = port.lstrip("+") if not hostname or not port or not port.isdigit(): raise utils.EventError("Please provide <hostname>:[+]<port>") |