Join modifications from BR_Dev_For_4_0 tag V4_1_1.

[modules/kernel.git] / src / Batch / Batch_BatchManagerCatalog.hxx

diff --git a/src/Batch/Batch_BatchManagerCatalog.hxx b/src/Batch/Batch_BatchManagerCatalog.hxx
index 62917faa470e6a30bec0379fc9f187fb13321fad..81ab713ec7c303309518dcb4645118d7281deafd 100644 (file)
--- a/src/Batch/Batch_BatchManagerCatalog.hxx
+++ b/src/Batch/Batch_BatchManagerCatalog.hxx
@@ -53,6 +53,7 @@ namespace Batch {
     virtual std::string __repr__() const;
 
   protected:
+    static BatchManagerCatalog theCatalog;
     static std::map<std::string, FactBatchManager *> * _p_catalog;
     static pthread_mutex_t _mutex;