diff options
Diffstat (limited to 'buildtools')
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.postinst | 2 | ||||
| -rw-r--r-- | buildtools/debian-skeleton/rpki-rp.postinst | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.postinst b/buildtools/debian-skeleton/rpki-ca.postinst index 8b93c2bd..35c77cf7 100644 --- a/buildtools/debian-skeleton/rpki-ca.postinst +++ b/buildtools/debian-skeleton/rpki-ca.postinst @@ -96,7 +96,7 @@ setup_django() { setup_cron() { t=$(hexdump -n 1 -e '"%u"' /dev/urandom) && echo "$(($t % 60)) */2 * * * nobody /usr/share/rpki/routeviews.sh" > /etc/cron.d/rpkigui-routeviews chmod 644 /etc/cron.d/rpkigui-routeviews - ln -sf /usr/sbin/rpkigui-check-expired /etc/cron.daily/rpkigui-check-expired + ln -sf /usr/lib/rpki/rpkigui-check-expired /etc/cron.daily/rpkigui-check-expired } # summary of how this script can be called: diff --git a/buildtools/debian-skeleton/rpki-rp.postinst b/buildtools/debian-skeleton/rpki-rp.postinst index 63720f13..46ef8b97 100644 --- a/buildtools/debian-skeleton/rpki-rp.postinst +++ b/buildtools/debian-skeleton/rpki-rp.postinst @@ -40,7 +40,10 @@ setup_rcynic_cron() { } setup_rpki_rtr_listener() { - killall -HUP xinetd + if test -f /var/run/xinetd.pid + then + kill -HUP `cat /var/run/xinetd.pid` + fi } # summary of how this script can be called: |