diff options
| author | Endi S. Dewata <edewata@redhat.com> | 2017-07-20 08:29:45 +0200 |
|---|---|---|
| committer | Endi S. Dewata <edewata@redhat.com> | 2017-07-20 08:30:12 +0200 |
| commit | bf08efd7f536c42bf44dc5ca4f57712bb670247f (patch) | |
| tree | 1256e85d643b953fdda034511854a908c90c8672 /scripts/tomcat-sub-restart.sh | |
| parent | 0ea8903598da7c4ee8c34b476c2d78d69a8e2334 (diff) | |
| download | pki-dev-bf08efd7f536c42bf44dc5ca4f57712bb670247f.tar.gz pki-dev-bf08efd7f536c42bf44dc5ca4f57712bb670247f.tar.xz pki-dev-bf08efd7f536c42bf44dc5ca4f57712bb670247f.zip | |
Added subordinate scripts.
Diffstat (limited to 'scripts/tomcat-sub-restart.sh')
| -rwxr-xr-x | scripts/tomcat-sub-restart.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/tomcat-sub-restart.sh b/scripts/tomcat-sub-restart.sh new file mode 100755 index 0000000..1d66467 --- /dev/null +++ b/scripts/tomcat-sub-restart.sh @@ -0,0 +1,4 @@ +#!/bin/sh -x + +./tomcat-sub-stop.sh +./tomcat-sub-start.sh |