Skip to content
Browse files

Give files extracted from a ZIP file distinct URIs by analogy with th…

…e jar: URI scheme; it's not perfect but it's probably better than giving them the URI of the pipeline document.
  • Loading branch information
ndw committed Dec 11, 2013
1 parent ffa56c8 commit 90a2a75876d1e3f0b7cd961c675c4cf38ba8bed6
Showing with 5 additions and 1 deletion.
  1. +5 −1 src/com/xmlcalabash/extensions/
@@ -154,7 +154,11 @@ public void run() throws SaxonApiException {
} else {
boolean storeText = (contentType != null && contentType.startsWith("text/") && charset != null);

// There's no point giving the file the URI of the pipeline document.
// This formulation is parallel to the jar scheme.
URI zipURI = URI.create("zip:" + zipFn + "!" + entry.getName());

tree.addAttribute(_content_type, contentType);

0 comments on commit 90a2a75

Please sign in to comment.
You can’t perform that action at this time.