<br />
<div id="indent">
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling
+This is a control panel for the UWOBO Web-Service. You can control a local or remote UWOBO service by filling
the appropriate fields <a href="#params">below</a> and sending the desired commands. In most cases, results of commands, such as error
messages or documents, will be opened in the frame at the bottom of this page. For those commands sending multiple
requests to the UWOBO server, a new window will be opened for each request issued. Note that in order to use
this page <i>you must have JavaScript enabled</i>.
-If you have troubles, please send an email to the author:
-<a href="mailto:luca.padovani@cs.unibo.it">luca.padovani@cs.unibo.it</a>
<br /><br />
The sections:
<ul>
<li><a href="#params">Global Parameters</a></li>
+ <li><a href="#sessions">Daemon Management</a></li>
<li><a href="#queries">Queries</a></li>
<li><a href="#stylesheets">Stylesheet Management</a></li>
<li><a href="#process">Processing</a></li>
<br />
<div id="indent">
-The following are global parameters used by all the other section to contact the UWOBO servlet and possibly a
-getter. The getter is not required for some operations and can be excluded by unchecking the proper buttons
+The following are global parameters used by all the other section to contact the UWOBO service and possibly a
+Getter. The Getter is not required for some operations and can be excluded by unchecking the proper buttons
below.
<br /><br />
-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
-<a href="http://jakarta.apache.org" target="top">TOMCAT</a>. <tt>localhost</tt> is relative to your machine.
+The following is the URL used to contact the UWOBO Web-Service.
+<tt>localhost</tt> is relative to your machine.
<br /><br />
<option value="marcello.cs.unibo.it">marcello</option>
<option value="phd.cs.unibo.it">phd</option>
<option value="eolo.cs.unibo.it">eolo</option>
+ <option value="helm.phd.cs.unibo.it">helm</option>
</select>
</form>
</td>
</table>
</div>
+<br />
+
+<a name="sessions"/>
+<table border="0" width="100%" cellpadding="4" cellspacing="0">
+<tr>
+ <td class="head" align="left"><big>Daemon Management</big></td>
+ <td class="back" align="right"><a href="#top">top</a></td>
+</tr>
+</table>
+
+<br />
+
+<div id="indent">
+<p>You can start a new daemon on a given port. The new daemon will have
+ an empty list of processed stylesheets.
+</p>
+<table border="0">
+ <tr>
+ <th colspan="2" align="left">Port</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="sessions">
+ <script>
+ document.write('<input type="text" value="' + getInitialPort() + '" size="5"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Start New Daemon" onClick="top.result.location.replace(getUwoboURL() + 'newsession?port=' + document.sessions.elements[0].value)"/>
+ </form>
+ </td>
+ </tr>
+</table>
+</div>
+
+<br />
+
+<div id="indent">
+<p>You can also kill the daemon. The log file will be mantained.</p>
+<table border="0">
+ <tr>
+ <td>
+ <form>
+ <input type="button" value="Stop Daemon" onClick="top.result.location.replace(getUwoboURL() + 'kill')"/>
+ </form>
+ </td>
+ </tr>
+</table>
+</div>
+
+<br />
<a name="queries"/>
<table border="0" width="100%" cellpadding="4" cellspacing="0">
<tr>
<br />
-The following are commands to do some simple queries about the UWOBO servlet.
+The following are commands to do some simple queries about the UWOBO service.
<br /><br />
<table border="0">
<tr>
<td>
- Retrieve the version of the UWOBO servlet running at the UWOBO URL and list the syntax
+ Retrieve the version of the UWOBO service running at the UWOBO URL and list the syntax
of the accepted commands.
- You can use this button to verify that a UWOBO servlet
+ You can use this button to verify that a UWOBO service
is actually running there:
</td>
</tr>
</tr>
<tr>
<td>
- Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys:
+ Ask UWOBO for a list of the stylesheets currently compiled inside the Web-Service, along with their keys:
</td>
</tr>
<tr>
<option value="HC2,content_to_html.xsl,true">MathML Content ==> HTML</option>
<option value="L,link.xsl,true">Resolve links</option>
<option value="d_c,drop_coercions.xsl,true">Drop implicit coercions</option>
- <option value="L2H,http://phd.cs.unibo.it/helm/xslt/ls2html.xsl,false">Getter LS ==> HTML</option>
- <option value="GP,http://phd.cs.unibo.it/helm/xslt/getParam.xsl,false">Get Param</option>
- <option value="RT,http://phd.cs.unibo.it/helm/xslt/resolve_topurl.xsl,false">Logic-sheet to substitute the interface URL</option>
- <option value="DM,http://phd.cs.unibo.it/helm/xslt/demultiplexMutual.xsl,false">Stylesheet to create the link to the metadata for inductive types</option>
- <option value="MC,http://phd.cs.unibo.it/helm/xslt/metadataControl.xsl,false">Stylesheet to create the link to the metadata for constants and variables</option>
+ <option value="meta_theory,mk_meta_theory.xsl,true">Metadata (back-pointers) to theory</option>
+ <option value="L2H,ls2html.xsl,true">Getter LS ==> HTML</option>
+ <option value="GP,getParam.xsl,true">Get Param</option>
+ <option value="RT,resolve_topurl.xsl,true">Logic-sheet to substitute the interface URL</option>
+ <option value="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
+ <option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>
+ <option value="MMG,mk_meta_graph.xsl,true">Make graph of backward dependencies</option>
+ <option value="MDG,mk_dep_graph.xsl,true">Make graph of dependencies</option>
+ <option value="HAT,hanane_textedepreuve2omdoc.xsl,true">Proof-Trees ==> OMDoc</option>
+ <option value="HAO,hanane_omdoc2xhtml.xsl,true">OMDoc ==> XHTML+MathML</option>
</select>
</form>
</td>
</tr>
</table>
-Use the buttons below to remove or reload <i>all</i> the stylesheets inside the servlet. Use these commands with
-care, and remember that the servlet can be shared among different users:
+Use the buttons below to remove or reload <i>all</i> the stylesheets.
+Use these commands with
+care, and remember that UWOBO can be shared among different users:
<br /><br />
</td>
<td>
<form>
- <input type="button" value="Reload All" onClick="top.result.location.replace(getUwoboURL() + 'reload')"/>
+ <input type="button" value="Reload All" onClick="reloadAllStylesheets()"/>
</form>
</td>
</tr>
<table border="0" width="100%" cellpadding="4" cellspacing="0">
<tr>
- <td class="back" align="left">Page maintained by: <a href="mailto:luca.padovani@cs.unibo.it">Luca Padovani</a></td>
+ <td class="back" align="left">Page maintained by: <a href="http://www.cs.unibo.it/~lpadovan">Luca Padovani</a></td>
<td class="back" align="right"><a href="#top">top</a></td>
</tr>
</table>
projects / helm.git / blobdiff