Changeset 37275 for gs2-extensions


Ignore:
Timestamp:
2023-02-04T23:12:48+13:00 (15 months ago)
Author:
davidb
Message:

Fine tuning after testing

File:
1 edited

Legend:

Unmodified
Added
Removed
  • gs2-extensions/apache-jena/trunk/src/setup.bash

    r36763 r37275  
    2828
    2929  export FUSEKI_HOME=$GEXT_JENA
    30   export FUSEKI3_PORT=4040
     30  if [ "x$FUSEKI3_PORT" = "x" ] ; then
     31      gs_http_port=`egrep "^localhost.port.http" ../../../build.properties | sed 's/^localhost\.port\.http=//'`
     32      export FUSEKI3_PORT=$gs_http_port
     33  fi
    3134 
    3235  if [ -d "$GEXT_JENA/bin/script" ] ; then
Note: See TracChangeset for help on using the changeset viewer.