112 String helpPage = helpMap.get(helpID) != null ? helpMap.get(helpID) : "jthelp.html";
113 StringBuilder address = new StringBuilder();
114 address.append("file:").append(helpDir.getAbsolutePath()).append(HELP_FILE_PREFIX).append(helpPage);
115 URL url = new URL(address.toString());
116 Desktop.getDesktop().browse(url.toURI());
117 } catch (Exception e) {
118 System.err.println("Cannot open JavaTest help file:");
119 System.err.println(e.getMessage());
120 }
121 }
122
123 class ProgressTask extends SwingWorker<Void, Void> {
124 @Override
125 public Void doInBackground() {
126 try {
127 File jarFile = new File(HelpBroker.class.getProtectionDomain().getCodeSource().getLocation().toURI());
128 File destDir = new File(Preferences.getPrefsDir(), HELP_DIR_NAME);
129 File helpVersion = new File(destDir, HELP_VERSION_NAME);
130
131 JarFile jar = new JarFile(jarFile);
132 Enumeration enumEntries = jar.entries();
133
134 int total = 0;
135 while (enumEntries.hasMoreElements()) {
136 JarEntry file = (JarEntry) enumEntries.nextElement();
137 if (isHelpFile(file)) {
138 total++;
139 }
140 }
141
142 if (destDir.exists()){
143 destDir.delete();
144 }
145
146 destDir.mkdir();
147
148 int progress = 0;
149 setProgress((int) (progress * 100.0 / total));
150 enumEntries = jar.entries();
151
152 while (enumEntries.hasMoreElements()) {
153 JarEntry file = (JarEntry) enumEntries.nextElement();
154 File f = new java.io.File(destDir + java.io.File.separator + file.getName());
155 if (isHelpFile(file)) {
156 f.getParentFile().mkdirs();
157 InputStream is = jar.getInputStream(file);
158 FileOutputStream fos = new java.io.FileOutputStream(f);
159 while (is.available() > 0) {
160 fos.write(is.read());
161 }
162 fos.close();
163 is.close();
164 progress++;
165 setProgress((int) (progress * 100.0 / total));
166 }
167 }
168
169 try(PrintWriter out = new PrintWriter(new OutputStreamWriter(new FileOutputStream(helpVersion), StandardCharsets.UTF_8))){
170 out.println(ProductInfo.getVersion()+ProductInfo.getBuildNumber());
171 }
172
173 }
|
112 String helpPage = helpMap.get(helpID) != null ? helpMap.get(helpID) : "jthelp.html";
113 StringBuilder address = new StringBuilder();
114 address.append("file:").append(helpDir.getAbsolutePath()).append(HELP_FILE_PREFIX).append(helpPage);
115 URL url = new URL(address.toString());
116 Desktop.getDesktop().browse(url.toURI());
117 } catch (Exception e) {
118 System.err.println("Cannot open JavaTest help file:");
119 System.err.println(e.getMessage());
120 }
121 }
122
123 class ProgressTask extends SwingWorker<Void, Void> {
124 @Override
125 public Void doInBackground() {
126 try {
127 File jarFile = new File(HelpBroker.class.getProtectionDomain().getCodeSource().getLocation().toURI());
128 File destDir = new File(Preferences.getPrefsDir(), HELP_DIR_NAME);
129 File helpVersion = new File(destDir, HELP_VERSION_NAME);
130
131 JarFile jar = new JarFile(jarFile);
132 Enumeration<JarEntry> enumEntries = jar.entries();
133
134 int total = 0;
135 while (enumEntries.hasMoreElements()) {
136 JarEntry file = enumEntries.nextElement();
137 if (isHelpFile(file)) {
138 total++;
139 }
140 }
141
142 if (destDir.exists()){
143 destDir.delete();
144 }
145
146 destDir.mkdir();
147
148 int progress = 0;
149 setProgress((int) (progress * 100.0 / total));
150 enumEntries = jar.entries();
151
152 while (enumEntries.hasMoreElements()) {
153 JarEntry file = enumEntries.nextElement();
154 File f = new java.io.File(destDir + java.io.File.separator + file.getName());
155 if (isHelpFile(file)) {
156 f.getParentFile().mkdirs();
157 InputStream is = jar.getInputStream(file);
158 FileOutputStream fos = new java.io.FileOutputStream(f);
159 while (is.available() > 0) {
160 fos.write(is.read());
161 }
162 fos.close();
163 is.close();
164 progress++;
165 setProgress((int) (progress * 100.0 / total));
166 }
167 }
168
169 try(PrintWriter out = new PrintWriter(new OutputStreamWriter(new FileOutputStream(helpVersion), StandardCharsets.UTF_8))){
170 out.println(ProductInfo.getVersion()+ProductInfo.getBuildNumber());
171 }
172
173 }
|