kra-restart.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/kra-restart.sh

blob: e53b6db186b87a80f1d75cf50e1652d23f8e9f10 (plain)

#!/bin/sh -x

./kra-stop.sh
./kra-start.sh