mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b93b9680 | patch | commit | show whitespace
vharseko
05.47.2019 1ccb5088e8ed94b9d39cb6d90b5b7769d2a7a9bb 
Merge branch 'master' of https://github.com/OpenIdentityPlatform/OpenDJ.git
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/resource/bin/_script-util.sh 2 ●●●●● patch | view | raw | blame | history 
 opendj-server-legacy/resource/bin/_script-util.sh


@@ -28,7 +28,7 @@


  if test -f "${INSTANCE_ROOT}/config/java.properties"


  then


    PROPERTY_VALUE=


    PROPERTY_VALUE=`grep "^\s*${1}=" "${INSTANCE_ROOT}/config/java.properties" |cut -d'=' -f2 2> /dev/null`


    PROPERTY_VALUE=`grep "^\s*${1}=" "${INSTANCE_ROOT}/config/java.properties" |cut -d'=' -f2- 2> /dev/null`


  fi


}