mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e14ae999 | patch | commit | show whitespace
jvergara
30.11.2008 ac3d52cc0ec23494cdd7d3c442a5684ec5f5a155 
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 ●●●●● patch | view | raw | blame | history 
 opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java


@@ -966,7 +966,9 @@


    || getCurrentProgressStep() ==


            UninstallProgressStep.FINISHED_WITH_ERROR


    || getCurrentProgressStep() ==


            UninstallProgressStep.FINISHED_WITH_ERROR_ON_REMOTE;


            UninstallProgressStep.FINISHED_WITH_ERROR_ON_REMOTE


    || getCurrentProgressStep() ==


            UninstallProgressStep.FINISHED_WITH_ERROR_DELETING;


  }




  /**