install_taskmanager_service() {
	# $1: directory to install taskmanager to
	cat > /etc/systemd/system/taskmanager.service <<-SOMEWHEREDOC
		[Unit]
		Description=Taskmanager is a bwLehrpool service daemon

		[Service]
		User=taskmanager
		Group=taskmanager
		WorkingDirectory=$1
		ExecStart=$(which java) -Xmx80M -jar taskmanager.jar
		Restart=always
		RestartSec=5
		SyslogIdentifier=taskmanager
		StandardOutput=syslog
		StandardError=syslog

		[Install]
		WantedBy=multi-user.target
	SOMEWHEREDOC
}

install_taskmanager() {
	# $1: directory to install taskmanager to
	echo -n "# Installing taskmanager... "
	mkdir -p "$1" 2>/dev/null
	unpack_tar_gz "$BASEDIR/static_files/taskmanager.tar.gz" "-C $1"
	install_taskmanager_service "$1"
	chown -R root:root "$1"
	echo "ok"
}