#!/bin/sh -x

systemctl restart dirsrv@pki-tomcat.service