mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-25 18:05:33 +02:00
Code Issues Wiki Activity

Make Cron infocenter output more quiet

Browse source
This commit is contained in:
Martin Oberhuber 2006-07-24 14:04:49 +00:00
parent 1904bb0dc8
commit c73cb8099c
1 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
releng/org.eclipse.rse.releng.infocenter/update.sh
View file

@ -8,21 +8,27 @@ NEED_RESTART=0
#update RSE into deplopyment directory #update RSE into deplopyment directory
cd $IHOME/deploy/rse cd $IHOME/deploy/rse
rm * rm *.zip
wget "http://download.eclipse.org/dsdp/tm/downloads/drops/N.latest/RSE-SDK-latest.zip" wget -q "http://download.eclipse.org/dsdp/tm/downloads/drops/N.latest/RSE-SDK-latest.zip"
if [ -e RSE-SDK-latest.zip ]; then if [ -e RSE-SDK-latest.zip ]; then
unzip RSE-SDK-latest.zip unzip -q RSE-SDK-latest.zip
rm -rf plugins.tmp if [ -e plugins.tmp ]; then
rm -rf plugins.tmp
fi
mkdir plugins.tmp mkdir plugins.tmp
mv eclipse/plugins/*doc* plugins.tmp mv eclipse/plugins/*doc* plugins.tmp
rm -rf eclipse rm -rf eclipse
NUM=`ls plugins.tmp/*.jar | wc -l` NUM=`ls plugins.tmp/*.jar | wc -l`
echo "RSE plugins.tmp: NUM=$NUM" echo "RSE plugins.tmp: NUM=$NUM"
if [ "$NUM" = "3" ]; then if [ "$NUM" = "3" ]; then
rm -rf plugins if [ -e plugins ]; then
rm -rf plugins
fi
mv plugins.tmp plugins mv plugins.tmp plugins
NEED_RESTART=1 NEED_RESTART=1
fi fi
else
echo "Error downloading RSE-SDK-latest.zip"
fi fi
#update Infocenter with latest deployable plug-ins #update Infocenter with latest deployable plug-ins
@ -44,7 +50,7 @@ if [ "$NEED_RESTART" != "0" ]; then
echo "Waiting for Infocenter / Apache to come up [60 seconds]" echo "Waiting for Infocenter / Apache to come up [60 seconds]"
sleep 60 sleep 60
echo "Doing fake search to force rebuilding index" echo "Doing fake search to force rebuilding index"
wget "http://localhost/help/latest/advanced/searchView.jsp?searchWord=SystemBasePlugin&maxHits=2" -O search.out.jsp -t 3 --waitretry=30 wget -q "http://localhost/help/latest/advanced/searchView.jsp?searchWord=SystemBasePlugin&maxHits=2" -O search.out.jsp -t 3 --waitretry=30
echo "Done, index should be up again!" echo "Done, index should be up again!"
else else
echo "Nothing new deployed, no restart necessary." echo "Nothing new deployed, no restart necessary."