comparison hgeditor @ 42682:e0cf09bc35ef stable

bookmarks: actual fix for race condition deleting bookmark This is a simple but efficient fix to prevent the issue tested in `test-bookmarks-corner-case.t`. It might be worth pursuing a more generic approach where filecache learn to depend on each other, but that would not be suitable for stable. The issue is complicated enough that I documented the race and its current solution as inline comment. See this comment for details on the fix.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 21 Jun 2019 03:50:40 +0200
parents 1aee2ab0f902
children
comparison
equal deleted inserted replaced
42681:a1f10edcf6a6 42682:e0cf09bc35ef