2016-07-19 12:22:49 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
echo "JBOSS_HOME=$JBOSS_HOME"
|
|
|
|
|
|
|
|
|
|
if [ ! -d "$JBOSS_HOME/bin" ] ; then
|
|
|
|
|
>&2 echo "JBOSS_HOME/bin doesn't exist"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cd $JBOSS_HOME/bin
|
|
|
|
|
|
|
|
|
|
RESULT=0
|
2016-09-20 11:00:54 +00:00
|
|
|
patches=$(echo $AUTH_PATCH_ZIPS | tr "," "\n")
|
|
|
|
|
for patch in $patches
|
|
|
|
|
do
|
2017-05-18 21:47:12 +00:00
|
|
|
if [[ $patch == http* ]];
|
|
|
|
|
then
|
|
|
|
|
wget -O ./patch.zip $patch >/dev/null 2>&1
|
|
|
|
|
patch=./patch.zip
|
|
|
|
|
fi
|
2016-09-20 11:00:54 +00:00
|
|
|
./jboss-cli.sh --command="patch apply $patch"
|
|
|
|
|
if [ $? -ne 0 ]; then exit 1; fi
|
|
|
|
|
done
|
|
|
|
|
exit 0
|
