mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 53e9b6 | patch | commitdiff
jvergara
30.53.2008 652b7ed3ab5ec5222cb769f1bbc4b06ef0f09c03
refs
author jvergara <jvergara@localhost>
Wednesday, January 30, 2008 01:53 +0100
committer jvergara <jvergara@localhost>
Wednesday, January 30, 2008 01:53 +0100
commit652b7ed3ab5ec5222cb769f1bbc4b06ef0f09c03
tree 795b264dfc15ab4a900fbc662521abd935d48aa1 tree | zip | gz
parent 53e9b6737ff1f758a8b1cfc5c7fe6cebd158bf6e 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
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/UninstallProgressStep.java 10 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 79 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/messages/messages/admin_tool.properties 11 ●●●●● diff | view | raw | blame | history