diff options
| author |  jesopo | 2019-10-11 17:06:37 +0100 |
|---|---|---|
| committer | jesopo | 2019-10-11 17:06:37 +0100 |
| commit | 3fc7294539d6ae82369ca7b4321ed7be6767c767 (patch) | |
| tree | 482731efd98e87070a9c347504152075fe723228 /src/PollSource.py | |
| parent | date docs/help/setup.md to use `bitbotd` as a command (diff) | |
| signature | ||
exit when all servers are disconnected after ctrl+c
Diffstat (limited to 'src/PollSource.py')
0 files changed, 0 insertions, 0 deletions