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