diff options
| author |  jesopo | 2019-10-11 13:06:52 +0100 |
|---|---|---|
| committer | jesopo | 2019-10-11 13:06:52 +0100 |
| commit | b7b045eadb2e3553e3bcea9cd6b42c26f3865b51 (patch) | |
| tree | 6d6af5ecf0549556264c9e403856a38a91dffad2 /src/IRCUser.py | |
| parent | we need both `id` and `server` for !disconnect (diff) | |
| signature | ||
Don't exit when there are no connected servers
closes #175
Diffstat (limited to 'src/IRCUser.py')
0 files changed, 0 insertions, 0 deletions