mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3582e4 | patch | commitdiff
jvergara
20.40.2006 b54806bee744f31ebd2636b11a31d19387e931b6
refs
author jvergara <jvergara@localhost>
Monday, November 20, 2006 20:40 +0100
committer jvergara <jvergara@localhost>
Monday, November 20, 2006 20:40 +0100
commitb54806bee744f31ebd2636b11a31d19387e931b6
tree 3da23937d960f102b9a82e7de478c9ff2f9bf0ec tree | zip | gz
parent 3582e42309bfaede81d8c65966011eff27b80b29 view | diff 

Avoid trying to re-download everything if we cannot get the zip file name.  Everything should work fine from the first time. 

If it does not work, just throw an exception
1 files modified
15 ■■■■■ changed files
opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java 15 ●●●●● diff | view | raw | blame | history