4 <title>On-Line Library Configuration</title>
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 }
14 <script language="JavaScript" src="../javascript/defaults.js"></script>
15 <script language="JavaScript" src="../javascript/prelude.js"></script>
19 <body id="normal" onLoad="refreshLinks()">
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>
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
37 Here you can choose the Getter and the UWOBO to use, providing valid URLs
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>
45 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
51 <th colspan="2" align="left">UWOBO URL</th>
55 <form name="uwoboURL">
57 document.write('<input type="text" value="' + getInitialProcessorURL() + '" size="50"/>');
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>
74 <input type="button" value="Check" onClick="top.result.location = getUwoboURL() + 'help'"/>
84 <th colspan="2" align="left">Getter URL</th>
88 <form name="getterURL">
90 document.write('<input type="text" value="' + getInitialGetterURL() + '" size="50"/>');
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>
107 <input type="button" value="Check" onClick="top.result.location = getGetterURL() + 'help'"/>
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>