diff options
author | Endi S. Dewata <edewata@redhat.com> | 2013-08-19 11:15:13 -0400 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2013-08-19 11:15:13 -0400 |
commit | f2a8bdb65204d42b1867e83028d2d74af13ce127 (patch) | |
tree | 9b3e1c3d24c6d1d4cd8d57ff8d653c1922500fbd /scripts/tomcat-restart.sh | |
parent | d8dee0b07ec2c4fd654c097802217647fdcea0eb (diff) | |
download | pki-dev-f2a8bdb65204d42b1867e83028d2d74af13ce127.tar.gz pki-dev-f2a8bdb65204d42b1867e83028d2d74af13ce127.tar.xz pki-dev-f2a8bdb65204d42b1867e83028d2d74af13ce127.zip |
Added Tomcat scripts.
Diffstat (limited to 'scripts/tomcat-restart.sh')
-rwxr-xr-x | scripts/tomcat-restart.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/tomcat-restart.sh b/scripts/tomcat-restart.sh new file mode 100755 index 0000000..0b7d4a4 --- /dev/null +++ b/scripts/tomcat-restart.sh @@ -0,0 +1,4 @@ +#!/bin/sh -x + +./tomcat-stop.sh +./tomcat-start.sh |