max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(src/util/timer): uninit var

Browse source
This commit is contained in:
Leonardo de Moura 2017-02-13 18:15:01 -08:00
parent 59c8a36f40
commit e551b4ff09
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/util/timer.cpp
View file

@ -8,10 +8,12 @@ Author: Gabriel Ebner
#if defined(LEAN_MULTI_THREAD)
namespace lean {
constexpr chrono::steady_clock::duration accuracy = chrono::milliseconds(10);
single_timer::single_timer() : m_thread(std::bind(&single_timer::worker, this)) {}
single_timer::single_timer():
m_shutting_down(false),
m_thread(std::bind(&single_timer::worker, this)) {}
single_timer::~single_timer() {
{
unique_lock<mutex> lock(m_mutex);
@ -55,6 +57,5 @@ void single_timer::reset() {
m_cb = nullptr;
m_timer_changed.notify_one();
}
}
#endif