diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-08-05 19:42:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-08-05 19:42:24 +0200 |
| commit | 2db4e4554b9e0e541685aa204113afb84ce0289a (patch) | |
| tree | dbf565da632601fc2acc8f2da57ed3a491d9fa11 /executor/executor.cc | |
| parent | df1fcfd5aadba856afeee67e0216cf00b38047f9 (diff) | |
manager: print keep alive to stdout
Print a message with total number of programs executed every 10 seconds.
Helps to understand if this thing is working or not.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions