| Index: java/org/chromium/distiller/DomDistiller.java
|
| diff --git a/java/org/chromium/distiller/DomDistiller.java b/java/org/chromium/distiller/DomDistiller.java
|
| index 37d86cacc245f97b5bfb6a75d17edd91cf60f92e..531122ebd464605cf40bd036fc8cf5824810ee14 100644
|
| --- a/java/org/chromium/distiller/DomDistiller.java
|
| +++ b/java/org/chromium/distiller/DomDistiller.java
|
| @@ -47,7 +47,9 @@ public class DomDistiller {
|
| result.addContentImages().setUrl(url);
|
| }
|
|
|
| - String original_url = options.hasOriginalUrl() ? options.getOriginalUrl() : Window.Location.getHref();
|
| + // iOS doesn't support reading window.location.href, so we use document.URL instead.
|
| + String original_url =
|
| + options.hasOriginalUrl() ? options.getOriginalUrl() : Document.get().getURL();
|
| TimingInfo timingInfo = contentExtractor.getTimingInfo();
|
| double stPaging = DomUtil.getTime();
|
| result.setPaginationInfo(PagingLinksFinder.getPaginationInfo(original_url));
|
|
|