diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-09 22:28:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-09 23:53:36 +0200 |
| commit | c217cbd84d7aee7414945a6cf85e1d704fff6e32 (patch) | |
| tree | 0bc04a347f1b450e4739a3e767f6b92f6be7463e /gnu/system | |
| parent | 54d6223d2c240c0214c123e0b0aa977a01a3c209 (diff) | |
| download | patches-c217cbd84d7aee7414945a6cf85e1d704fff6e32.tar patches-c217cbd84d7aee7414945a6cf85e1d704fff6e32.tar.gz | |
services: dhcp-client: Better track dhclient's PID.
* gnu/services/networking.scm (dhcp-client-service)[start]: Remove
PID-FILE first. When 'call-with-input-file' throws ENOENT, try
again.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions