mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 216ecc | patch | commitdiff
jvergara
20.40.2006 61b4a0284bebd81b0ab4a700d00f9044f97ec9fe
refs
author jvergara <jvergara@localhost>
Monday, November 20, 2006 20:40 +0100
committer jvergara <jvergara@localhost>
Monday, November 20, 2006 20:40 +0100
commit61b4a0284bebd81b0ab4a700d00f9044f97ec9fe
tree 075c02bc6489061df256cbcafb95e807770c36ba tree | zip | gz
parent 216eccee1d6e65113af254302cf9897bca47ecd2 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
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java 15 ●●●●● diff | view | raw | blame | history