Commit f9d8687f authored by Jerome Chauveau's avatar Jerome Chauveau
Browse files

max.sh stops when basename command failed (due to network connexion issue)

parent 8df0fbd8

tools/max.sh

+6 −0
Original line number Diff line number Diff line
@@ -14,6 +14,12 @@ BASEX_BIN="basex" 
TEI_DEMO_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo"

EAD_DEMO_URL="https://git.unicaen.fr/pdn-certic/max-ead-demo"

MAX_TEI_DEMO_VERSION_NUMBER=`last_gitlab_project_release $TEI_DEMO_URL'/-/releases/permalink/latest'`

if [ $? -gt 0 ]

  then

    echo ''

    echo 'MaX : Cannot access to remote url - please check your network configuration.'

    exit 1

fi

MAX_EAD_DEMO_VERSION_NUMBER=`last_gitlab_project_release $EAD_DEMO_URL'/-/releases/permalink/latest'`

MAX_TEI_DEMO_VERSION="max-tei-demo-"$MAX_TEI_DEMO_VERSION_NUMBER

MAX_EAD_DEMO_VERSION="max-ead-demo-"$MAX_EAD_DEMO_VERSION_NUMBER