Restart the services that are running on this server.
/sbin/debian-edu-restart-services
debian-edu-restart-services restart the services running on this server. It stop them properly, then kill the remaining process (with SIGHUP then SIGKILL). Then it restart each service.
Debian-Edu International Team.