#!/bin/sh -x

systemctl restart dirsrv@pki-master.service