diff options
| author |  jesopo | 2019-10-11 13:59:28 +0100 |
|---|---|---|
| committer | jesopo | 2019-10-11 13:59:28 +0100 |
| commit | 175f90f6a2aa8e5d7e3c6ccb641c6fcc127caa68 (patch) | |
| tree | 175d0855eccce52aedb1e0b75d5af05a107f2028 /src/LockFile.py | |
| parent | Don't exit when there are no connected servers (diff) | |
| signature | ||
add "poll sources" - objects that can provide additional filenos for polling
Diffstat (limited to 'src/LockFile.py')
0 files changed, 0 insertions, 0 deletions