From 76cda039c3a65a301e97ef097149acbd8fbba4bf Mon Sep 17 00:00:00 2001
From: g0dil <g0dil@wiback.org>
Date: Fri, 18 Jul 2008 08:03:50 +0000
Subject: [PATCH] Scheduler: BUGFIX: replace incorrect use of 'int' with
 'timer_t'

---
 Scheduler/FIFORunner.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scheduler/FIFORunner.hh b/Scheduler/FIFORunner.hh
index 9121445fe..adf088fbe 100644
--- a/Scheduler/FIFORunner.hh
+++ b/Scheduler/FIFORunner.hh
@@ -113,7 +113,7 @@ namespace scheduler {
 
         TaskList tasks_;
         TaskList::iterator next_;
-        int watchdogId_;
+        timer_t watchdogId_;
         std::string runningName_;
 #   ifdef SENF_DEBUG
         std::string runningBacktrace_;
-- 
GitLab