mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
07.54.2008 f5d769e9b67335c3fdc3e257118f9327e96172a6
refs
author jvergara <jvergara@localhost>
Monday, April 7, 2008 23:54 +0200
committer jvergara <jvergara@localhost>
Monday, April 7, 2008 23:54 +0200
commitf5d769e9b67335c3fdc3e257118f9327e96172a6
tree 1cf7ce398a85ea1d29ea6476d81ed12006c6795c tree | zip | gz
parent 45158f058bac0ed5150789cbe01cbc49482d585f view | diff
Fix for issue 3126 (Cannot run setup if unziped in directory with spaces in name)

Fix the script to be able to handle paths with spaces in the classpath.
1 files modified
4 ■■■■ changed files
opendj-sdk/opends/resource/bin/_script-util.sh 4 ●●●● diff | view | raw | blame | history