X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=6734d4a133f5e6fc9ab60961b87fae73995bfc3a;hb=4720c6af414c4a834a994fdb404fda2d0c04fc03;hp=e6ad6269eab836c142313d0681a81bf2a9922c17;hpb=4866a470d100cd7eb99c499beef9b61ec0e0a3ad;p=helm.git

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index e6ad6269e..6734d4a13 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -250,7 +250,7 @@ function makeURL(type,uri,cicflags,typesflags)
       keys = getTheoryKeys()+
        "&param.keys=" + getCICMathMLKeys() +
        "&param.thkeys=" + getTheoryKeys() +
-       "&param.embedkeys=" + escape(d_c,TC1,G,C2,L) +
+       "&param.embedkeys=" + escape("d_c,TC1,G,C2,L") +
        "&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
        "&param.draw_graphURL=" + escape(draw_graphURL) +