- Temporarily disabled template-based singleton system because of a crash virtually surely caused by it

git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@648 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/backend/scheduler.cc

@@ -29,6 +29,8 @@ using namespace std;
 using namespace sgpem;
 using namespace memory;
 
+Scheduler* Scheduler::_instance = NULL;
+
 //private constructor. The parameter is discarded
 Scheduler::Scheduler()
   : _policy_manager(PolicyManager::get_registered_manager())
@@ -205,3 +207,10 @@ Scheduler::step_forward() throw(UserInterruptException)
     }
 }
 
+Scheduler&
+Scheduler::get_instance()
+{
+  if(_instance == NULL)
+    _instance = new Scheduler();
+  return *_instance;
+}