| Index: src/com/dom_distiller/client/DomDistiller.java
|
| diff --git a/src/com/dom_distiller/client/DomDistiller.java b/src/com/dom_distiller/client/DomDistiller.java
|
| index 05f8ec35f1b7707d621652be6784ae22f90df780..e19a8e7e7cd85cd5d7757438d11fbcf0f174c2e2 100644
|
| --- a/src/com/dom_distiller/client/DomDistiller.java
|
| +++ b/src/com/dom_distiller/client/DomDistiller.java
|
| @@ -35,7 +35,8 @@ public class DomDistiller implements Exportable {
|
| boolean textOnly = options.hasExtractTextOnly() && options.getExtractTextOnly();
|
| content.setHtml(contentExtractor.extractContent(textOnly));
|
| result.setDistilledContent(content);
|
| - result.setPaginationInfo(PagingLinksFinder.getPaginationInfo());
|
| + String original_domain = options.hasOriginalDomain() ? options.getOriginalDomain() : "";
|
| + result.setPaginationInfo(PagingLinksFinder.getPaginationInfo(original_domain));
|
| result.setMarkupInfo(contentExtractor.getMarkupParser().getMarkupInfo());
|
| TimingInfo timingInfo = contentExtractor.getTimingInfo();
|
| timingInfo.setTotalTime(DomUtil.getTime() - startTime);
|
|
|