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 /src/Database.py | |
| parent | Add !addserver command (diff) | |
| signature | ||
Strip "+" from the start of `port` after checking if it is present
Diffstat (limited to 'src/Database.py')
0 files changed, 0 insertions, 0 deletions