</td>
<td>
<script>
+ var processorURL = '<subst:processorURL/>';
+ var interfaceURL = '<subst:interfaceURL/>';
+ var profile = '<subst:profile/>';
<![CDATA[
- document.write('<a target="_top" href="' +
- getParam2('topurl') + '/html/library/index.html' +
- '" onClick="refreshReload()">Reload</a>');
+ document.write('<a target="_top" href="" ' +
+ 'onClick="refreshReload(profile,processorURL,interfaceURL)">Reload</a>');
]]>
</script>
<br />
(do it also before attempting to take a link to the current page)
<script>
<![CDATA[
- top.processorURL = getParam2('processorURL');
- top.getterURL = getParam2('getterURL');
- top.proofcheckerURL = getParam2('proofcheckerURL');
- top.draw_graphURL = getParam2('draw_graphURL');
- top.uri_set_queueURL = getParam2('uri_set_queueURL');
- top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
- top.topurl = getParam2('topurl');
top.mode = getParam2('mode');
top.cicuri = getParam2('cicuri');
top.theoryuri = getParam2('theoryuri');
<script>
<![CDATA[
document.write('<a target="_top" href=""' +
- ' onClick="refreshReload()">Configuration Panel</a>');
+ ' onClick="refreshReload(profile,processorURL,interfaceURL)">Configuration Panel</a>');
]]>
</script>
<br />