tree 6d2bb281468b49ab44ee592805c56e3670e2b6de
parent a5ca646a71dca178873cfdb83203b207bf672f26
author Stephan Eberle <stephaneberle9@gmail.com> 1571900316 +0200
committer Stephan Eberle <stephaneberle9@gmail.com> 1571900991 +0200

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