diff options
| author | Rickard Green <[email protected]> | 2016-02-24 16:59:27 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-02-24 16:59:27 +0100 |
| commit | 35739bd06776f90526006486b3f4ab7e54f7f951 (patch) | |
| tree | e53c7d3b682a2efe4e8a3dac650ec5257072591e /lib/webtool/doc/src/webtool_chapter.xml | |
| parent | a398223638120a2b932ed96624b2fe9e3a877985 (diff) | |
| parent | 6295f4e5b11e034b56dd1f65c4c75f6f95a9431d (diff) | |
| download | otp-35739bd06776f90526006486b3f4ab7e54f7f951.tar.gz otp-35739bd06776f90526006486b3f4ab7e54f7f951.tar.bz2 otp-35739bd06776f90526006486b3f4ab7e54f7f951.zip | |
Merge branch 'maint'
* maint:
Do not wait for main lock when looking up process not running
Diffstat (limited to 'lib/webtool/doc/src/webtool_chapter.xml')
0 files changed, 0 insertions, 0 deletions