diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-09-25 15:35:37 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-09-28 15:06:20 +0200 |
| commit | ec908d5f7aa9ad7e3487018e06a24cb6449cc58b (patch) | |
| tree | b80a79a74bdd6a0160a2fd76c0bff2d382b85cd7 /.gitignore | |
| parent | de9de2de361ab1355b976f17371d73e36fe3bf56 (diff) | |
http: Force-exit event loop after predefined time
This makes sure that the event loop eventually terminates, even if an
event (like an open timeout, or a hanging connection) happens to be
holding it up.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions