// }
if (ret == HttpLoader.LOAD_SUCCESS) {
contentType = urlLoader.getContentType();
contentEncoding = urlLoader.getContentEncoding();
WebStream ws = new WebStream(urlLoader.getStream(), "", contentType, contentEncoding);
rawPage = ws.getString();
charSet = ws.getCharSet();
//String declaredLanguage = ws.getDeclaredLanguage();
ws.clear();
}
if ("links".equals(action)) {
printVerbose(url, scriptsPath, action, verbose);
List<String> links = null;