diff options
| author | deva <deva> | 2010-07-05 09:49:42 +0000 |
|---|---|---|
| committer | deva <deva> | 2010-07-05 09:49:42 +0000 |
| commit | dc6abe86d2730b16cb155a02b3ec9d79fcaa72f7 (patch) | |
| tree | 0fa222007bd1827da42e01dedbafaa005faedf31 /editor/property.cc | |
| parent | 04168eca33079dd27c60c894a54d76d4bc627c55 (diff) | |
Make server write its pid file. Daemon class ported from pentominos.
Diffstat (limited to 'editor/property.cc')
0 files changed, 0 insertions, 0 deletions