mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-02 22:55:26 +02:00
Allow infocenter time to recover after update
This commit is contained in:
parent
2822610c1c
commit
05f9283098
1 changed files with 4 additions and 3 deletions
|
@ -41,12 +41,13 @@ if [ "$NEED_RESTART" != "0" ]; then
|
|||
cd $IHOME
|
||||
echo "Restarting infocenter..."
|
||||
nohup $IHOME/bin/infocenter.sh start &
|
||||
echo "Waiting for Infocenter / Apache to come up [60 seconds]"
|
||||
sleep 60
|
||||
echo "Doing fake search to force rebuilding index"
|
||||
sleep 5
|
||||
wget "http://localhost/help/latest/advanced/searchView.jsp?searchWord=SystemBasePlugin&maxHits=2" -O search.out.jsp
|
||||
wget "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!"
|
||||
else
|
||||
echo "Nothing new deployed, no restart necessary."
|
||||
fi
|
||||
|
||||
cd "$curdir"
|
||||
cd "$curdir"
|
||||
|
|
Loading…
Add table
Reference in a new issue