Differences

This shows you the differences between two versions of the page.

--- tools:monitor:start [2018/05/31 12:05] – [Save terminal output on a host computer via SSH] graf
+++ tools:monitor:start [2018/07/17 15:37] – [How to use the Timer] graf
@@ Line 24: / Line 24: @@
 // the periodic will run a given time domain
-periodic.monitors.push_back([&](PeriodicCounter &c, Logger<LogWriter> &log) {
+periodic.monitors.push_back([&](PeriodicCounter &c, Logger &log) {
   log.info() << "period max: " << c.period.max << ", run mean: " << c.run.mean;
 });