Changeset 37275
- Timestamp:
- 2023-02-04T23:12:48+13:00 (15 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gs2-extensions/apache-jena/trunk/src/setup.bash
r36763 r37275 28 28 29 29 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 31 34 32 35 if [ -d "$GEXT_JENA/bin/script" ] ; then
Note:
See TracChangeset
for help on using the changeset viewer.