diff options
| author | deva <deva> | 2010-07-07 12:25:13 +0000 |
|---|---|---|
| committer | deva <deva> | 2010-07-07 12:25:13 +0000 |
| commit | 66e9a0322ba241a375ddb145ff468454b2baf715 (patch) | |
| tree | fed56f45ea81deb04d2431c3885940f174ee236d /editor/property.cc | |
| parent | 78cab4908b1784c67bee0064502854b1a984342f (diff) | |
Refuse to start if pid file already exists, or cannot be written. Remove pid file when shutting down (if possible).
Diffstat (limited to 'editor/property.cc')
0 files changed, 0 insertions, 0 deletions