mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 461109 | patch | commitdiff
lutoff
17.19.2008 146e4c3a1dd0ce8eb54fcbfbbfe4eea7d1bc4edb
refs
author lutoff <lutoff@localhost>
Friday, October 17, 2008 12:19 +0200
committer lutoff <lutoff@localhost>
Friday, October 17, 2008 12:19 +0200
commit146e4c3a1dd0ce8eb54fcbfbbfe4eea7d1bc4edb
tree 68b591ef51e090d651eeee1ffb1fb81b04b3387f tree | zip | gz
parent 461109056cf24a465341fd7586138f3ae7cd9c53 view | diff 
Fix for issue #3527 (uninstall: utility options (--log-files, --ldif-files, ...) don't work

Use file canonical form
1 files modified
61 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 61 ●●●●● diff | view | raw | blame | history