Project

General

Profile

« Previous | Next » 

Revision 36b2bfe9

Added by Andreas Kohlbecker about 9 years ago

more robust script

View differences:

src/main/jenkins-ci/copy-cdmserver-and-restart.sh
47 47 
sudo -u cdm /bin/rm -f /opt/cdmserver/cdm-server.jar
48 48 
sudo -u cdm /bin/cp -f $CDMSERVER_JAR /opt/cdmserver/
49 49 
cd $CDMSERVER_HOME
50 

  		




  
  51
  
    
set +e


  		




  50
  52
  
    
sudo -u cdm /bin/ln -s $CDMSERVER_JAR cdm-server.jar


  		




  
  53
  
    
set -e


  		




  51
  54
  
    
echo "restarting server"


  		




  52
  55
  
    
if [ "${RESTART_AFTER_UPDATE}" == "restart" ]; then


  		




  53
  56
  
    
    sudo /etc/init.d/cdmserver start


  		












Also available in:  Unified diff