dispose method

void dispose()

Cancels the timer and flushes the tail. The CLI never calls this (the trace is process-lifetime); tests and embedders may.

Implementation

void dispose() {
  _timer.cancel();
  flush();
}