| commit | f94260f5d091f9b479d50f74c6aaccbdfaf7eb94 | [log] [tgz] |
|---|---|---|
| author | Manuel Bork <bork@yatta.de> | Sat Jan 11 18:00:34 2014 +0100 |
| committer | Manuel Bork <bork@yatta.de> | Sat Jan 11 18:00:34 2014 +0100 |
| tree | 1bfb0b28b1426f0a0b8f164cd833722fa5ea59c0 | |
| parent | 80fc1da768f3800e2c7bbfe589d5b238aadc7ded [diff] |
[425484] guard workspace profile initialization against deadlocks with other plug-ins, when they access the plug-ins resource set.