mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 652b7e | patch | commitdiff
jvergara
30.11.2008 71e0cff50ae72f2b23f1db832c1f433fa2cf5f9d
refs
author jvergara <jvergara@localhost>
Wednesday, January 30, 2008 03:11 +0100
committer jvergara <jvergara@localhost>
Wednesday, January 30, 2008 03:11 +0100
commit71e0cff50ae72f2b23f1db832c1f433fa2cf5f9d
tree f9959b493c7e8e6eefe3d367ec4377b65e2db461 tree | zip | gz
parent 652b7ed3ab5ec5222cb769f1bbc4b06ef0f09c03 view | diff 
Consider that the uninstaller is finished when we encountered an error deleting the files.
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 4 ●●●●● diff | view | raw | blame | history