plugin = path.substring(0, to);
}
// Plugin may need to know where it was accessed from, so it can e.g. produce relative URLs.
//writeReply(ctx, 200, "text/html", "OK", mkPage("plugin", pm.handleHTTPGet(plugin, data)));
writeHTMLReply(ctx, 200, "OK", pm.handleHTTPGet(plugin, request));
}
//FetchResult result = fetch(key);
//writeReply(ctx, 200, result.getMimeType(), "OK", result.asBucket());
} catch (RedirectPluginHTTPException e) {