Module: xenomai-forge
Branch: master
Commit: a888c0535f352b3e9c56053a6220bcac1dbc36c0
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=a888c0535f352b3e9c56053a6220bcac1dbc36c0

Author: Philippe Gerum <r...@xenomai.org>
Date:   Sun Feb  9 17:01:55 2014 +0100

copperplate/syncobj: fix uninit (object in passive state)

---

 lib/copperplate/syncobj.c |    1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/copperplate/syncobj.c b/lib/copperplate/syncobj.c
index 6849f67..82b00bf 100644
--- a/lib/copperplate/syncobj.c
+++ b/lib/copperplate/syncobj.c
@@ -563,6 +563,7 @@ int syncobj_destroy(struct syncobj *sobj, struct syncstate 
*syns)
 
 void syncobj_uninit(struct syncobj *sobj)
 {
+       monitor_enter(sobj);
        assert(sobj->wait_count == 0);
        syncobj_cleanup_corespec(sobj);
 }


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to