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 <[email protected]> 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 [email protected] https://xenomai.org/mailman/listinfo/xenomai-git
