diff options
author | Michael Stapelberg <michael+x200@stapelberg.de> | 2008-10-07 11:22:35 +0200 |
---|---|---|
committer | Michael Stapelberg <michael+x200@stapelberg.de> | 2008-10-07 11:22:35 +0200 |
commit | e94e25208936ab8f6ab684b1b229bc29073b955d (patch) | |
tree | 3cc37c0b59377b91b5461b0ef594b77e04083e46 /config.h | |
parent | e31a85eb3b9d331d73254ceb2d6156cc8e66c40a (diff) |
Strip all non-digit characters from pidbuf
This is needed for dhclient's pidfile, as it contains a newline
Diffstat (limited to 'config.h')
-rw-r--r-- | config.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,5 +3,5 @@ const char *eth_interface = "eth0"; const char *wmii_path = "/mnt/wmii/rbar/status"; const char *time_format = "%d.%m.%Y %H:%M:%S"; const char *battery = "/sys/class/power_supply/BAT0/uevent"; -const char *run_watches[] = {"DHCP", "/var/run/dhclient*.pid", +const char *run_watches[] = {"DHCP", "/var/run/dhclient.pid", "VPN", "/var/run/vpnc*.pid"}; |