Function setGlobalLogger

src/logging.cpp:185–190

}

void setGlobalLogger(Logger *logger)
{
  if (userLogger_ != &defaultLogger_)
    delete userLogger_;
  userLogger_ = logger;
}

/** Timer for measuring performance. */
class Timer