Method restart

src/client/timer.cpp:45–50

}

void
timer::
restart()
{
  init_time_ = get_walltime();
}

void
timer::