diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-11-28 11:27:44 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-11-28 11:27:44 +0100 |
| commit | 8bda33214d138f962ddc6e02d8d12ed08de66bfd (patch) | |
| tree | f76c67ad43de884d2db96e1d84702dceaba1dede /executor | |
| parent | b1e98de8a6c6e31544193f74130911d8b45bbd0a (diff) | |
execprog: rate limit printing
Otherwise it happen too frequently when executing a single program in a loop.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions