summaryrefslogtreecommitdiff
path: root/design/widgets/window.tex
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 /design/widgets/window.tex
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 'design/widgets/window.tex')
0 files changed, 0 insertions, 0 deletions