|
|
@ -554,14 +554,14 @@ public final class plasmaParser {
|
|
|
|
htmlFilterContentScraper scraper = new htmlFilterContentScraper(location);
|
|
|
|
htmlFilterContentScraper scraper = new htmlFilterContentScraper(location);
|
|
|
|
|
|
|
|
|
|
|
|
// set the charset if known
|
|
|
|
// set the charset if known
|
|
|
|
if (charset != null) {
|
|
|
|
/*if (charset != null) {
|
|
|
|
try {
|
|
|
|
try {
|
|
|
|
scraper.setCharset(charset);
|
|
|
|
scraper.setCharset(charset);
|
|
|
|
} catch (UnsupportedCharsetException e) {
|
|
|
|
} catch (UnsupportedCharsetException e) {
|
|
|
|
serverLog.logWarning("PARSER", "parseSource2: unknown or unsupported charset '" + charset + "'");
|
|
|
|
serverLog.logWarning("PARSER", "parseSource2: unknown or unsupported charset '" + charset + "'");
|
|
|
|
return null;
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}*/
|
|
|
|
|
|
|
|
|
|
|
|
OutputStream hfos = new htmlFilterOutputStream(null, scraper, null, false);
|
|
|
|
OutputStream hfos = new htmlFilterOutputStream(null, scraper, null, false);
|
|
|
|
serverFileUtils.copy(sourceFile, hfos);
|
|
|
|
serverFileUtils.copy(sourceFile, hfos);
|
|
|
|