diff options
| author |  jesopo | 2019-05-29 16:11:47 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-29 16:11:47 +0100 |
| commit | b8f778d7bd3072dc5f794d99c40c7e010f1fb915 (patch) | |
| tree | 6c1ec578e5f6d8358c39e3d081841626fd3aeb25 /modules/github | |
| parent | Switch resume.py to use the last `server-time` it saw, not last .recv() (diff) | |
| signature | ||
Only try to send QUITs on ctrl+c when we're connected - sys.exit otherwise
Diffstat (limited to 'modules/github')
0 files changed, 0 insertions, 0 deletions