Re: [PATCH 1/5] console-client: remove the pid file on clean exits

bug-hurd

From:	Samuel Thibault
Subject:	Re: [PATCH 1/5] console-client: remove the pid file on clean exits
Date:	Sun, 13 Oct 2013 18:00:26 +0200
User-agent:	Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30)

All applied, thanks!

Samuel

Current Thread

[Next in Thread]

[PATCH 1/5] console-client: remove the pid file on clean exits, Justus Winter, 2013/10/10
- [PATCH 3/5] console-client: replace function epilogue with console_exit, Justus Winter, 2013/10/10
  - Re: [PATCH 3/5] console-client: replace function epilogue with console_exit, Neal H. Walfield, 2013/10/10
    - Re: [PATCH 3/5] console-client: replace function epilogue with console_exit, Justus Winter, 2013/10/10
- [PATCH 2/5] console-client: entitle console_exit with the noreturn attribute, Justus Winter, 2013/10/10
- [PATCH 4/5] console-client: minor stylistic fix, Justus Winter, 2013/10/10
- [PATCH 5/5] console-client: fix error handling, Justus Winter, 2013/10/10
- Re: [PATCH 1/5] console-client: remove the pid file on clean exits, Samuel Thibault <=