diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-10-10 18:08:18 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-10-13 17:56:02 +0200 |
commit | 695e5d209ade018afea1b2d2f9e042e9c78028ae (patch) | |
tree | 8cb680a03f4c610cbab2b9bb8e1525cf146cad81 /release/bfloppy1-special.copy | |
parent | fd8213f83d0656bd0cd5215306e22e5a25058bee (diff) |
console-client: remove the pid file on clean exits
Remove the pid file if the console client exits either cleanly using
console_exit or because of an error during daemonization.
* console-client/console.c (console_exit): Remove the pid file.
(daemon_error): Likewise.
Diffstat (limited to 'release/bfloppy1-special.copy')
0 files changed, 0 insertions, 0 deletions