#!/bin/sh
set -e
# Automatically added by dh_installsystemd/13.14.1ubuntu5
if [ -z "${DPKG_ROOT:-}" ] && [ "$1" = upgrade ] && [ -d /run/systemd/system ] ; then
	deb-systemd-invoke stop 'irgsh-builder.service' 'irgsh-chief.service' 'irgsh-iso.service' 'irgsh-repo.service' >/dev/null || true
fi
# End automatically added section