Changes have been pushed for the repository "fawkesrobotics/fawkes".
Clone: https://github.com/fawkesrobotics/fawkes.git Gitweb: https://github.com/fawkesrobotics/fawkes The branch, tviehmann/cx-mutex-unlock-reacquired-fix has been created at 7f7f0c2a119c96a2813db1d7c7cb328a8ccc7be4 (commit) https://github.com/fawkesrobotics/fawkes/tree/tviehmann/cx-mutex-unlock-reacquired-fix - *Log* --------------------------------------------------------------- commit 7f7f0c2a119c96a2813db1d7c7cb328a8ccc7be4 Author: Tarik Viehmann <viehm...@kbsg.rwth-aachen.de> AuthorDate: Sun Nov 15 13:33:37 2020 +0100 Commit: Tarik Viehmann <viehm...@kbsg.rwth-aachen.de> CommitDate: Sun Nov 15 16:28:55 2020 +0100 clips-executive: correctly process unlock request on reacquire https://github.com/fawkesrobotics/fawkes/commit/7f7f0c2a1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *Summary* ----------------------------------------------------------- - *Diffs* ------------------------------------------------------------- - *commit* 7f7f0c2a119c96a2813db1d7c7cb328a8ccc7be4 - - - - - - - - - - Author: Tarik Viehmann <viehm...@kbsg.rwth-aachen.de> Date: Sun Nov 15 13:33:37 2020 +0100 Subject: clips-executive: correctly process unlock request on reacquire src/plugins/clips-executive/clips/coordination-mutex.clp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) _Diff for modified files_: diff --git a/src/plugins/clips-executive/clips/coordination-mutex.clp b/src/plugins/clips-executive/clips/coordination-mutex.clp index 8437ae5a2..d64a302a6 100644 --- a/src/plugins/clips-executive/clips/coordination-mutex.clp +++ b/src/plugins/clips-executive/clips/coordination-mutex.clp @@ -336,7 +336,7 @@ (defrule mutex-unlock-succeeded-already-reacquired "Someone else already acquired the lock in the meantime." - ?mf <- (mutex (name ?name) (request LOCK) (response PENDING) + ?mf <- (mutex (name ?name) (request UNLOCK) (response PENDING) (state LOCKED) (locked-by ?lb&:(neq ?lb (cx-identity)))) => (modify ?mf (response UNLOCKED)) _______________________________________________ fawkes-commits mailing list fawkes-commits@lists.kbsg.rwth-aachen.de https://lists.kbsg.rwth-aachen.de/listinfo/fawkes-commits
