From 384fc730d472a69d921b18fa57a6db559a8faedd Mon Sep 17 00:00:00 2001
From: Bernhard Amann <bernhard@icsi.berkeley.edu>
Date: Sun, 1 Apr 2012 17:13:51 -0700
Subject: [PATCH] fix heart_beat_interval -- initialization in constructor does
 not work anymore (probably due to change in init ordering?)

---
 src/threading/Manager.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/threading/Manager.cc b/src/threading/Manager.cc
index ec7ab34d14..6c14fd65ca 100644
--- a/src/threading/Manager.cc
+++ b/src/threading/Manager.cc
@@ -60,6 +60,12 @@ void Manager::KillThreads()
 
 void Manager::AddThread(BasicThread* thread)
 	{
+	if ( heart_beat_interval == 0 ) {
+		// sometimes initialization does not seem to work from constructor
+		heart_beat_interval = double(BifConst::Threading::heart_beat_interval);
+		DBG_LOG(DBG_THREADING, "Heart beat interval set to %f", heart_beat_interval);
+	}
+	
 	DBG_LOG(DBG_THREADING, "Adding thread %s ...", thread->Name().c_str());
 	all_threads.push_back(thread);
 	idle = false;