Method recordTime

jalib/jtimer.cpp:74–78

}

void
jalib::JTimeRecorder::recordTime(double time)
{
  _writeTimerLogLine(_name, time);
}