tps-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/tps-restart.sh

blob: e1df49066ef81b0628c8850edea4ac9fbcddbbf7 (plain)

#!/bin/sh -x

./tps-stop.sh
./tps-start.sh