Do not use pthread_kill to stop a thread

[stg.git] / include / stg / user_property.h

diff --git a/include/stg/user_property.h b/include/stg/user_property.h
index ade21f4e8024e040dd2d6d13ba393e02e27e8731..822bc0f90ccdebb93338e7749dc2a5531edd7838 100644 (file)
--- a/include/stg/user_property.h
+++ b/include/stg/user_property.h
@@ -173,7 +173,10 @@ template <typename varT>
 inline
 USER_PROPERTY<varT>::USER_PROPERTY(varT & val)
     : value(val),
-      modificationTime(stgTime)
+      modificationTime(stgTime),
+      beforeNotifiers(),
+      afterNotifiers(),
+      mutex()
 {
 pthread_mutex_init(&mutex, NULL);
 }