#!/bin/sh systemctl restart pki-tomcatd\@pki-tomcat.service