dvPrefetchHref function

String dvPrefetchHref(
  1. String path
)

The prerendered page path is served as, relative to the base the site is served from -- so a site under /app/ prefetches /app/docs, not /docs.

The address a new tab or a reload asks for, which is the one a prefetch has to match to be of any use: the browser keys what it fetched by URL.

Implementation

String dvPrefetchHref(String path) {
  final String route = _routeKey(path);
  return route == '/' ? './' : route.substring(1);
}