aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--engines/tony/custom.cpp6
1 files changed, 4 insertions, 2 deletions
diff --git a/engines/tony/custom.cpp b/engines/tony/custom.cpp
index 99debbfa0e..8cc459b493 100644
--- a/engines/tony/custom.cpp
+++ b/engines/tony/custom.cpp
@@ -1989,8 +1989,10 @@ void releaseOwnership(CORO_PARAM, uint32 num, uint32, uint32, uint32) {
return;
}
- if (GLOBALS._mut[num]._ownerPid != (uint32)CoroScheduler.getCurrentPID())
- error("ReleaseOwnership tried to release mutex %d, which is held by a different process", num);
+ if (GLOBALS._mut[num]._ownerPid != (uint32)CoroScheduler.getCurrentPID()) {
+ warning("ReleaseOwnership tried to release mutex %d, which is held by a different process", num);
+ return;
+ }
GLOBALS._mut[num]._lockCount--;
if (!GLOBALS._mut[num]._lockCount) {