diff options
| author | Mattias Andrée <maandree@kth.se> | 2016-07-11 13:40:36 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2016-07-11 13:40:36 +0200 |
| commit | 5ba88f5b683cf5cc5c5fd19512ed84235fe2d031 (patch) | |
| tree | feda6d481d61d1a5bf00ee568f856bb588f788c4 /.gitignore | |
| parent | Implement use of PID file (diff) | |
| download | coopgammad-5ba88f5b683cf5cc5c5fd19512ed84235fe2d031.tar.gz coopgammad-5ba88f5b683cf5cc5c5fd19512ed84235fe2d031.tar.bz2 coopgammad-5ba88f5b683cf5cc5c5fd19512ed84235fe2d031.tar.xz | |
Retry once if pid file is empty
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions