xbt_cond_timedwait: mutex is not held on timeout.

[loba.git] / named_object_list.h

diff --git a/named_object_list.h b/named_object_list.h
index 94d281eb6da6de48025800f5d985f5716ebf9d85..2c691faba198aec9b64e308e5535c3dbeff16628 100644 (file)
--- a/named_object_list.h
+++ b/named_object_list.h
@@ -24,6 +24,7 @@ protected:
         std::string description;
         creator_base(const std::string& descr): description(descr) { }
         creator_base(const char* descr): description(descr) { }
         std::string description;
         creator_base(const std::string& descr): description(descr) { }
         creator_base(const char* descr): description(descr) { }

+        virtual ~creator_base() { }

         virtual Base* operator()() const = 0;
     };
 
         virtual Base* operator()() const = 0;
     };
 


@@ -87,6 +88,7 @@ protected:
         std::string description;
         creator_base(const std::string& descr): description(descr) { }
         creator_base(const char* descr): description(descr) { }
         std::string description;
         creator_base(const std::string& descr): description(descr) { }
         creator_base(const char* descr): description(descr) { }

+        virtual ~creator_base() { }

         virtual Base* operator()(Arg1, Arg2) const = 0;
     };
 
         virtual Base* operator()(Arg1, Arg2) const = 0;
     };