summaryrefslogtreecommitdiff
path: root/editor/property.cc
diff options
context:
space:
mode:
authordeva <deva>2010-07-07 12:25:13 +0000
committerdeva <deva>2010-07-07 12:25:13 +0000
commit66e9a0322ba241a375ddb145ff468454b2baf715 (patch)
treefed56f45ea81deb04d2431c3885940f174ee236d /editor/property.cc
parent78cab4908b1784c67bee0064502854b1a984342f (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