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 /src/Makefile.bench.include | |
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 'src/Makefile.bench.include')
0 files changed, 0 insertions, 0 deletions