helm/on-line/html/control.html

   1 <html>
   2
   3 <head>
   4 <title>On-Line Library Configuration</title>
   5
   6 <style type="text/css">
   7 #normal { background-color: white; font-family: sans-serif }
   8 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
   9 td.back { background-color: #e6e6fa; color: brown }
  10 #indent { margin-left: 1cm; margin-right: 1cm }
  11 #centered { text-align: center }
  12 </style>
  13
  14 <script language="JavaScript" src="../javascript/defaults.js"></script>
  15 <script language="JavaScript" src="../javascript/prelude.js"></script>
  16
  17 </head>
  18
  19 <body id="normal" onLoad="refreshLinks()">
  20 <a name="top"/>
  21 <table border="0" width="100%" cellpadding="4">
  22 <tr><td class="head" align="center"><big><big>On-Line Library Configuration</big></big></td></tr>
  23 </table>
  24
  25 <br />
  26
  27 <div id="indent">
  28 The on-line interface will use a
  29 <a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
  30 download documents and an
  31 <a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
  32 to them.
  33
  34
  35 <br /><br />
  36
  37 Here you can choose the Getter and the UWOBO to use, providing valid URLs
  38 to instances of them.
  39
  40 <br /><br />
  41
  42 To control the behaviour of them, use the apposite
  43 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
  44 and
  45 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
  46
  47 <br /><br />
  48
  49 <table border="0">
  50   <tr>
  51     <th colspan="2" align="left">UWOBO URL</th>
  52   </tr>
  53   <tr>
  54     <td>
  55       <form name="uwoboURL">
  56       <script>
  57         document.write('<input type="text" value="' + getInitialProcessorURL() + '" size="50"/>');
  58       </script>
  59       </form>
  60     </td>
  61     <td>
  62       <form>
  63         <select onChange="selectUwoboURL(this)">
  64           <option value="">---</option>
  65           <option value="localhost">localhost</option>
  66           <option value="marcello.cs.unibo.it">marcello</option>
  67           <option value="phd.cs.unibo.it">phd</option>
  68           <option value="eolo.cs.unibo.it">eolo</option>
  69         </select>
  70       </form>
  71     </td>
  72     <td>
  73       <form>
  74         <input type="button" value="Check" onClick="top.result.location = getUwoboURL() + 'help'"/>
  75       </form>
  76     </td>
  77   </tr>
  78 </table>
  79
  80 <br />
  81
  82 <table border="0">
  83   <tr>
  84     <th colspan="2" align="left">Getter URL</th>
  85   </tr>
  86   <tr>
  87     <td>
  88       <form name="getterURL">
  89         <script>
  90           document.write('<input type="text" value="' + getInitialGetterURL() + '" size="50"/>');
  91         </script>
  92       </form>
  93     </td>
  94     <td>
  95       <form>
  96         <select onChange="selectGetterURL(this)">
  97           <option value="">---</option>
  98           <option value="localhost">localhost</option>
  99           <option value="marcello.cs.unibo.it">marcello</option>
 100           <option value="phd.cs.unibo.it">phd</option>
 101           <option value="eolo.cs.unibo.it">eolo</option>
 102         </select>
 103       </form>
 104     </td>
 105     <td>
 106       <form>
 107         <input type="button" value="Check" onClick="top.result.location = getGetterURL() + 'help'"/>
 108       </form>
 109     </td>
 110   </tr>
 111 </table>
 112 </div>
 113
 114 <div id="centered">
 115 <h1><a onClick="refreshLinks();" href="" target="_top"><script>if (top.location.search == '') document.write('ENTER THE LIBRARY'); else document.write('RETURN TO THE LIBRARY');</script></a></h1>
 116 </div>
 117 </body>
 118 </html>
 119