diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-08-09 19:21:54 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-08-09 19:21:54 +0200 |
| commit | 9bfdbc708eeb83219d9f1eb711b167b92df93805 (patch) | |
| tree | ed094e1c92edea4b529d8faf197bf1d99f059919 /.github | |
| parent | 856029a6113cf1b769b51e58b191c187832aa9f9 (diff) | |
close tcp connection after 30s of inactivity when in push_mode
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions