#!/bin/sh -x

systemctl stop pki-tomcatd@kra-master.service