Commit 54cf5a2b authored by Jerome Chauveau's avatar Jerome Chauveau
Browse files

correctif max.sh pour récupération du numéro de version

parent 30207a78

tools/max.sh

+2 −2
Original line number Diff line number Diff line 
#!/bin/bash

MAX_VERSION=$(node -p -e "require('../package.json').version")

PORT=1984

DIRECTORY=$(cd `dirname $0` && pwd)

MAX_VERSION=$(node -p -e "require('$DIRECTORY/../package.json').version")

MAX_PLUGINS_DIR=$DIRECTORY/../plugins

BASEX_CLIENT_BIN="basexclient"

BASEX_BIN="basex"
@@ -125,7 +125,7 @@ disable_plugin(){ 


  $BASEX_BIN -u -bpluginId=$1 -bprojectId=$2 $DIRECTORY"/xq/remove_plugin_config.xq" # -u => save modified file on disk



  NB_USAGE=$($BASEX_BIN "count(doc('../configuration/configuration.xml')//plugin[@name='$1'])")

  NB_USAGE=$($BASEX_BIN "count(doc('$DIRECTORY/../configuration/configuration.xml')//plugin[@name='$1'])")



  if [ $NB_USAGE -eq 0 ]

  then