X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fon-line%2Fxslt%2Fresolve_topurl.xsl;h=04b6a858a94ad2de845b6d286e7f63360243dcda;hb=6ada20fa68668e9d23842767fe643efc04f9d29a;hp=c7f66437463d08c78224b1bf2702fc464954f5d7;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/software/daemons/on-line/xslt/resolve_topurl.xsl b/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
index c7f664374..04b6a858a 100644
--- a/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
+++ b/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
@@ -249,12 +249,12 @@
  <input type="hidden" name="param.prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="param.media-type" value="{$media-type}"/>
- <input type="hidden" name="param.thmedia-type" select="{$thmedia-type}"/>
- <input type="hidden" name="prooftreemedia-type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="param.doctype-public" select="{$doctype-public}"/>
- <input type="hidden" name="param.encoding" select="{$encoding}"/>
- <input type="hidden" name="param.thencoding" select="{$thencoding}"/>
- <input type="hidden" name="param.prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="param.thmedia-type" value="{$thmedia-type}"/>
+ <input type="hidden" name="prooftreemedia-type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="param.doctype-public" value="{$doctype-public}"/>
+ <input type="hidden" name="param.encoding" value="{$encoding}"/>
+ <input type="hidden" name="param.thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="param.prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template name="j_params">
@@ -267,12 +267,12 @@
  <input type="hidden" name="j_prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="j_media_type" value="{$media-type}"/>
- <input type="hidden" name="j_thmedia_type" select="{$thmedia-type}"/>
- <input type="hidden" name="j_prooftreemedia_type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="j_doctype_public" select="{$doctype-public}"/>
- <input type="hidden" name="j_encoding" select="{$encoding}"/>
- <input type="hidden" name="j_thencoding" select="{$thencoding}"/>
- <input type="hidden" name="j_prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="j_thmedia_type" value="{$thmedia-type}"/>
+ <input type="hidden" name="j_prooftreemedia_type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="j_doctype_public" value="{$doctype-public}"/>
+ <input type="hidden" name="j_encoding" value="{$encoding}"/>
+ <input type="hidden" name="j_thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="j_prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template match="/|*">