##// END OF EJS Templates
bookmarks: actual fix for race condition deleting bookmark...
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.

File last commit:

r30346:9cc438bf default
r42903:e0cf09bc stable
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer