Lines 171-177
Link Here
|
171 |
} |
171 |
} |
172 |
desc_ent = new File(ent_name); |
172 |
desc_ent = new File(ent_name); |
173 |
desc_ent.delete(); |
173 |
desc_ent.delete(); |
174 |
pw.println ("<!DOCTYPE autoupdate_catalog PUBLIC \"-//NetBeans//DTD Autoupdate Catalog 2.0//EN\" \"http://www.netbeans.org/dtds/autoupdate-catalog-2_0.dtd\" ["); |
174 |
pw.println ("<!DOCTYPE module_updates PUBLIC \"-//NetBeans//DTD Autoupdate Catalog 2.0//EN\" \"http://www.netbeans.org/dtds/autoupdate-catalog-2_0.dtd\" ["); |
175 |
// Would be better to follow order of groups and includes |
175 |
// Would be better to follow order of groups and includes |
176 |
pw.println (" <!ENTITY entity SYSTEM \"" + xmlEscape(desc_ent.getName()) + "\">"); |
176 |
pw.println (" <!ENTITY entity SYSTEM \"" + xmlEscape(desc_ent.getName()) + "\">"); |
177 |
int inc_num=0; |
177 |
int inc_num=0; |
Lines 195-201
Link Here
|
195 |
pw.println ("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>"); |
195 |
pw.println ("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>"); |
196 |
|
196 |
|
197 |
} else { |
197 |
} else { |
198 |
pw.println ("<!DOCTYPE module_updates PUBLIC \"-//NetBeans//DTD Autoupdate Module Info 2.0//EN\" \"http://www.netbeans.org/dtds/autoupdate-info-2_0.dtd\">"); |
198 |
pw.println ("<!DOCTYPE module_updates PUBLIC \"-//NetBeans//DTD Autoupdate Catalog 2.0//EN\" \"http://www.netbeans.org/dtds/autoupdate-catalog-2_0.dtd\">"); |
199 |
pw.println ("<module_updates timestamp=\"" + date + "\">"); |
199 |
pw.println ("<module_updates timestamp=\"" + date + "\">"); |
200 |
pw.println (); |
200 |
pw.println (); |
201 |
} |
201 |
} |
Lines 234-240
Link Here
|
234 |
throw new BuildException ("NBM " + n_file + " was malformed: no Info/info.xml", location); |
234 |
throw new BuildException ("NBM " + n_file + " was malformed: no Info/info.xml", location); |
235 |
java.io.InputStream is = zip.getInputStream (entry); |
235 |
java.io.InputStream is = zip.getInputStream (entry); |
236 |
try { |
236 |
try { |
237 |
java.io.BufferedReader r = new java.io.BufferedReader (new java.io.InputStreamReader (is)); |
237 |
java.io.BufferedReader r = new java.io.BufferedReader (new java.io.InputStreamReader (is, "UTF-8")); |
238 |
String line = r.readLine (); |
238 |
String line = r.readLine (); |
239 |
if (! line.startsWith ("<?xml")) |
239 |
if (! line.startsWith ("<?xml")) |
240 |
throw new BuildException ("Strange info.xml line: " + line, location); |
240 |
throw new BuildException ("Strange info.xml line: " + line, location); |