diff options
| author | Markus Mittendrein <git@maxmitti.tk> | 2017-01-26 19:32:06 +0100 |
|---|---|---|
| committer | Markus Mittendrein <git@maxmitti.tk> | 2017-01-26 19:32:06 +0100 |
| commit | f81bec7022991fed7f78ee2bbb857460fce9072d (patch) | |
| tree | 03d169d59fd4ca1cd1cae304015cf79d847dea8b /src/ClientInfo.hpp | |
| parent | 7a94ec0604979f829c60bef9039bd3b6dba82562 (diff) | |
| download | manager-f81bec7022991fed7f78ee2bbb857460fce9072d.tar.gz manager-f81bec7022991fed7f78ee2bbb857460fce9072d.zip | |
Add watchdog to avoid endless hanging rounds
Diffstat (limited to 'src/ClientInfo.hpp')
0 files changed, 0 insertions, 0 deletions