113 |
} else if(ext.equals(".htm") || ext.equals(".html")) { |
} else if(ext.equals(".htm") || ext.equals(".html")) { |
114 |
fos = new FileOutputStream(f); |
fos = new FileOutputStream(f); |
115 |
fos.write(JSUtils.exportInstrMapsToHtml().getBytes("US-ASCII")); |
fos.write(JSUtils.exportInstrMapsToHtml().getBytes("US-ASCII")); |
116 |
|
} else if(ext.equals(".rgd")) { |
117 |
|
byte[] data = JSUtils.exportInstrMapsToRGD(); |
118 |
|
if(data == null) { |
119 |
|
String s = i18n.getError("StdA4n.rgdExportFailed"); |
120 |
|
HF.showErrorMessage(s); |
121 |
|
return; |
122 |
|
} |
123 |
|
fos = new FileOutputStream(f); |
124 |
|
fos.write(data); |
125 |
} else { |
} else { |
126 |
f = new File(f.getAbsolutePath() + ".lscp"); |
f = new File(f.getAbsolutePath() + ".lscp"); |
127 |
if(f.exists()) { |
if(f.exists()) { |