FOUserAgent userAgent = pageSeq.getUserAgent();
ImageManager imageManager = userAgent.getFactory().getImageManager();
- String uri = getExternalDocument().getSrc();
+ String uri = URISpecification.getURL(getExternalDocument().getSrc());
Integer firstPageIndex = ImageUtil.getPageIndexFromURI(uri);
boolean hasPageIndex = (firstPageIndex != null);
} catch (URISyntaxException e) {
getResourceEventProducer().uriError(this, uri, e,
getExternalDocument().getLocator());
- return;
}
}
} catch (FileNotFoundException fnfe) {