mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1f30b9 | patch | commitdiff
jvergara
07.54.2008 2442740abbf13b1cd2361e00164a914fbfa12fd0
refs
author jvergara <jvergara@localhost>
Monday, April 7, 2008 23:54 +0200
committer jvergara <jvergara@localhost>
Monday, April 7, 2008 23:54 +0200
commit2442740abbf13b1cd2361e00164a914fbfa12fd0
tree 8281af426bbe57aa33c48ab4dbb50a77539ef2d2 tree | zip | gz
parent 1f30b9e5b6d1f245470a152a325e9ad69928c01c 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
opends/resource/bin/_script-util.sh 4 ●●●●● diff | view | raw | blame | history