path: debian-edu-config_2.12.904/share/debian-edu-config/tools/edu-icinga-setup
## Make sure the MariaDB server is running.
PID=$(pidof mariadbd || /bin/true)
if [ -z "$PID" ]; then
	echo "The MariaDB server doesn't seem to be running. Trying to start it." 1>&2