ad53429dd596bdc1ecab595878e771616156e345 - sphinx/org.eclipse.sphinx - Git at Google

commit: ad53429dd596bdc1ecab595878e771616156e345

[log]
author: Stephan Eberle <stephaneberle9@gmail.com>

Thu Oct 24 08:58:36 2019 +0200
committer: Stephan Eberle <stephaneberle9@gmail.com>

Thu Oct 24 09:09:51 2019 +0200
tree: 6d2bb281468b49ab44ee592805c56e3670e2b6de
parent: a5ca646a71dca178873cfdb83203b207bf672f26 [diff]

Eliminated potential source of deadlocks in ResourceProblemHandler by
making delegation of handling of changed and saved files to
ResourceProblemMarkerService asynchronous

4 files changed

tree: 6d2bb281468b49ab44ee592805c56e3670e2b6de