Module: xenomai-forge
Branch: next
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
