clean up the mess with the inclusion of defsregistry.hpp,

caused by the definition of DefsRegistry not being visible for DefsManager's dtor.

src/common/singletonfactory.hpp

@@ -35,7 +35,7 @@ This code is heavily inspired by
 #define LUMIERA_SINGLETONFACTORY_H
 
 
-#include "common/singletonpolicies.hpp"  ///< several Policies usable together with SingletonFactory
+#include "common/singletonpolicies.hpp"  // several Policies usable together with SingletonFactory
 
 #include "common/util.hpp"
 #include "proc/nobugcfg.hpp"

src/proc/mobject/session/defsmanager.cpp

@@ -51,6 +51,13 @@ namespace mobject
     }
     
     
+    
+    /** @internal causes boost::checked_delete from \c scoped_ptr<DefsRegistry>
+     *  to be placed here, where the declaration of DefsRegistry is available.*/
+    DefsManager::~DefsManager() {}
+    
+    
+    
     template<class TAR>
     P<TAR>
     DefsManager::search  (const Query<TAR>& capabilities)

src/proc/mobject/session/defsmanager.hpp

@@ -33,14 +33,15 @@
 
 
 
-namespace mobject
-  {
-  namespace session
-    {
+namespace mobject {
+  namespace session {
+    
+    
     using lumiera::P;
     using boost::scoped_ptr;
     
     class DefsRegistry;
+    class SessManagerImpl;
 
 
     /**
@@ -63,6 +64,8 @@ namespace mobject
         friend class SessManagerImpl;
         
       public:
+       ~DefsManager ();
+       
         /** common access point: retrieve the default object fulfilling
          *  some given conditions. May silently trigger object creation.
          *  @throw error::Config in case no solution is possible, which

src/proc/mobject/session/session.cpp

@@ -32,9 +32,8 @@
 
 
 #include "proc/mobject/session.hpp"
-#include "proc/mobject/session/sessionimpl.hpp"
 #include "proc/mobject/session/defsmanager.hpp"
-#include "proc/mobject/session/defsregistry.hpp"
+#include "proc/mobject/session/sessionimpl.hpp"
 
 #include "common/singleton.hpp"
 

src/proc/mobject/session/sessionimpl.hpp

@@ -94,6 +94,8 @@ namespace mobject
         friend class lumiera::singleton::StaticCreate<SessManagerImpl>;
         
       public:
+        virtual ~SessManagerImpl() {}
+        
         virtual void clear () ;
         virtual void reset () ;
         virtual void load ()  ;

src/proc/mobject/session/sessmanagerimpl.cpp

@@ -39,7 +39,7 @@
 #include "proc/mobject/session.hpp"
 #include "proc/mobject/session/sessionimpl.hpp"
 #include "proc/mobject/session/defsmanager.hpp"
-#include "proc/mobject/session/defsregistry.hpp"
+//#include "proc/mobject/session/defsregistry.hpp"
 #include "common/error.hpp"
 
 using boost::scoped_ptr;