← Back to branch summary

~andreas-pokorny/mir/configure-clear-color

« back to all changes in this revision

Viewing changes to src/server/default_server_configuration.cpp

Rename TimeSource to Clock.

Approved by Alan Griffiths, PS Jenkins bot.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/server/default_server_configuration.cpp
183
183
            auto mp_report = the_options()->get(msg_processor_report_opt, off_opt_value);
184
184
            if (mp_report == log_opt_value)
185
185
            {
186
 
                return std::make_shared<ml::MessageProcessorReport>(the_logger(), the_time_source());
 
186
                return std::make_shared<ml::MessageProcessorReport>(the_logger(), the_clock());
187
187
            }
188
188
            else if (mp_report == lttng_opt_value)
189
189
            {
222
222
    return the_input_manager();
223
223
}
224
224
 
225
 
std::shared_ptr<mir::time::TimeSource> mir::DefaultServerConfiguration::the_time_source()
 
225
std::shared_ptr<mir::time::Clock> mir::DefaultServerConfiguration::the_clock()
226
226
{
227
 
    return time_source(
 
227
    return clock(
228
228
        []()
229
229
        {
230
230
            return std::make_shared<mir::time::HighResolutionClock>();