Package: debian-edu-config Version: 2.12.33 debian-edu-restart-services is based around sysvinit, directly looks into /etc/rc*.d/ and tries to kill services which haven't been stopped successfully by itself. On systemd-based systems it should use systemd facilities instead. -- Guido Berhoerster