Bug#1042940: /usr/sbin/debian-edu-restart-services needs systemd support

[Guido Berhoerster]

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