From c1d99630c2affb63ac6c808b20bb091e8aaf08a4 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Wed, 9 Sep 2020 15:22:29 +0200 Subject: [PATCH] base: reset discarded Alarm object appropriatedly Fix #3881 --- repos/base/src/lib/timeout/timeout.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/repos/base/src/lib/timeout/timeout.cc b/repos/base/src/lib/timeout/timeout.cc index 97c832f245..feea5d6b7e 100644 --- a/repos/base/src/lib/timeout/timeout.cc +++ b/repos/base/src/lib/timeout/timeout.cc @@ -418,6 +418,7 @@ void Alarm_timeout_scheduler::_alarm_discard(Alarm *alarm) /* get anyone using this out of '_alarm_get_pending_alarm'() finally */ Mutex::Guard alarm_guard(alarm->_dispatch_mutex); + alarm->_delete = false; } }