| 104 | // When the timer reaches zero, a dump of the collected |
| 105 | // data will be attempted. |
| 106 | class ProfilingRun |
| 107 | { |
| 108 | public: |
| 109 | ProfilingRun(MemoryProfiler*, time_t, const Duration&); |
| 110 | void extend(MemoryProfiler*, const Duration&); |
| 111 | |
| 112 | time_t id; |
| 113 | Timer timer; |
| 114 | }; |
| 115 | |
| 116 | Option<ProfilingRun> currentRun; |
| 117 |