mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e1f7eb | patch | commitdiff
jvergara
30.53.2008 e14ae9996c7a36b85fc602fc3d82239a03e1b990
refs
author jvergara <jvergara@localhost>
Wednesday, January 30, 2008 01:53 +0100
committer jvergara <jvergara@localhost>
Wednesday, January 30, 2008 01:53 +0100
commite14ae9996c7a36b85fc602fc3d82239a03e1b990
tree 0fb3c5c985168a00497147c8573ef7eb0b029828 tree | zip | gz
parent e1f7ebfa7dd4bda26a9a2963cbd240306b35d4cc view | diff 
When there is a problem deleting files in the uninstaller, just consider it a warning and inform the user that the problematic file might being used by another process.
3 files modified
100 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/uninstaller/UninstallProgressStep.java 10 ●●●●● diff | view | raw | blame | history
opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 79 ●●●●● diff | view | raw | blame | history
opends/src/messages/messages/admin_tool.properties 11 ●●●●● diff | view | raw | blame | history