tree 1bfb0b28b1426f0a0b8f164cd833722fa5ea59c0
parent 80fc1da768f3800e2c7bbfe589d5b238aadc7ded
author Manuel Bork <bork@yatta.de> 1389459634 +0100
committer Manuel Bork <bork@yatta.de> 1389459634 +0100

[425484] guard workspace profile initialization against deadlocks with
other plug-ins, when they access the plug-ins resource set.