diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-06-15 18:19:40 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-06-15 22:55:02 +0200 |
commit | 0c3f6dde252500f55bc3f4154a0c103666251594 (patch) | |
tree | 56bf7dc51a2e8d6b9a8561648409d03ed1fd7bbc /src/util/misc.supp | |
parent | c2bb85ffdd243a61deda23557ee5173d5a117308 (diff) | |
download | exchange-0c3f6dde252500f55bc3f4154a0c103666251594.tar.xz |
add support to collect basic metrics and to terminate automatically
Diffstat (limited to 'src/util/misc.supp')
0 files changed, 0 insertions, 0 deletions