diff options
| author | Andrew Dolgov <[email protected]> | 2012-01-11 15:14:44 +0400 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2012-01-11 15:14:44 +0400 |
| commit | 125ab8dbf7387bf57f0c3285fc3e7a8ce2013aaa (patch) | |
| tree | cb99a092ac067161b56187035e81e333cfa69123 /.settings/org.eclipse.php.core.prefs | |
| parent | a3e0bdcffc757bd196de7e43bd9aa9cf8ca32626 (diff) | |
daemon: assume child is dead if its lockfile is unlocked (refs #417)
Diffstat (limited to '.settings/org.eclipse.php.core.prefs')
0 files changed, 0 insertions, 0 deletions