path: debian-edu-config_2.12.904/share/debian-edu-config/tools/edu-icinga-setup
fi
PID=$(pidof mariadbd || /bin/true)
if [ -z "$PID" ]; then
	echo "error: the MariaDB server is not running. Skipping Icinga 2 setup." 1>&2