mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ce800e | patch | commitdiff
lutoff
17.19.2008 1681f6f638130d9401b577f3d446bffabc26d7d9
refs
author lutoff <lutoff@localhost>
Friday, October 17, 2008 12:19 +0200
committer lutoff <lutoff@localhost>
Friday, October 17, 2008 12:19 +0200
commit1681f6f638130d9401b577f3d446bffabc26d7d9
tree 2c8e5f8d715ded145b7a81ace3ace5049c01f9e7 tree | zip | gz
parent ce800e969e7b9c2339be23ab2b23e44c8db8b7ff 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
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 61 ●●●●● diff | view | raw | blame | history