diff options
| author | Erich Eckner <git@eckner.net> | 2019-02-10 21:39:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-02-10 21:39:17 +0100 |
| commit | 080efe8cbf8e5bc69a17f8af8f5feffd01dd67fe (patch) | |
| tree | 57716bd5420c1d2e5d323d8f8d6eb4bb47a49fae /.gitignore | |
| parent | ebcca25d68405456abcf95054a868e80b606c358 (diff) | |
| download | hardlinkedBackups-080efe8cbf8e5bc69a17f8af8f5feffd01dd67fe.tar.xz | |
backup.in: check if process which wrote pid file is actually (still) running
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions