Module: xenomai-3
Branch: stable-3.0.x
Commit: 7fe7aa13ff07680b860dab57909a92758bbbde92
URL:    
http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=7fe7aa13ff07680b860dab57909a92758bbbde92

Author: Philippe Gerum <r...@xenomai.org>
Date:   Thu Apr 21 09:27:00 2016 +0200

copperplate/syncobj: let EPERM condition propagate on cleanup

---

 lib/copperplate/syncobj.c |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/copperplate/syncobj.c b/lib/copperplate/syncobj.c
index bf04b29..85b29c4 100644
--- a/lib/copperplate/syncobj.c
+++ b/lib/copperplate/syncobj.c
@@ -119,7 +119,8 @@ static inline void syncobj_cleanup_corespec(struct syncobj 
*sobj)
 {
        /* We hold the gate lock while destroying. */
        int ret = cobalt_monitor_destroy(&sobj->core.monitor);
-       assert(ret == 0);
+       /* Let earlier EPERM condition propagate, don't trap. */
+       assert(ret == 0 || ret == -EPERM);
        (void)ret;
 }
 


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

Reply via email to