--- /dev/null
+#!/bin/sh
+IFACE="$1"
+PID="$(cat "/run/odhcp6c.$IFACE.pid" 2>/dev/null)"
+
+# Was a pid recorded and does the process still exist?
+# XXX should check process name too
+if [ -n "$PID" ] && kill -0 $PID; then
+ # XXX this doesn't currently remove the pid file
+ kill $PID
+else
+ rm -f "/run/odhcp6c.$IFACE.pid"
+fi
%:
dh $@
+
+override_dh_install:
+ dh_install
+ install -D -m755 debian/odhcp6c.ppp.ipv6-up \
+ debian/odhcp6c/etc/ppp/ipv6-up.d/odhcp6c
+ install -D -m755 debian/odhcp6c.ppp.ipv6-down \
+ debian/odhcp6c/etc/ppp/ipv6-down.d/odhcp6c