| commit | 0ec251030e8d0c9bfed4a78b7b17a25291db44c8 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 02:16:20 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 02:16:20 2016 +0200 |
| tree | 095740c21d43f14958eb2be4598f62655127c2aa | |
| parent | 1cbad5fddca5a204ac4c2c6a5ba1e9df949f1dd6 [diff] |
Monitoring should be optional, not default to keep emulate footprint small.