Rev 6 | Rev 19 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 6 | Rev 14 | ||
---|---|---|---|
Line 86... | Line 86... | ||
86 | </td> |
86 | </td> |
87 | <td width="28%" valign="top" align="right"> |
87 | <td width="28%" valign="top" align="right"> |
88 | <div id="menu"> |
88 | <div id="menu"> |
89 | <ul> |
89 | <ul> |
90 | <li> |
90 | <li> |
91 | <a href="basic-search.htm">Basic search</a> |
91 | <a href="basic-search.htm">Quick search</a> |
- | 92 | </li> |
|
- | 93 | <li> |
|
- | 94 | <a href="/cgi-bin/display?a=count_nodes">Number of OIDs <!--in the database-->recorded</a><!-- DM: Written "recorded" because it is shorter to fit in a single line --> |
|
92 | </li> |
95 | </li> |
93 | </ul> |
96 | </ul> |
94 | </div> |
97 | </div> |
95 | </td> |
98 | </td> |
96 | </tr> |
99 | </tr> |
Line 142... | Line 145... | ||
142 | </span> |
145 | </span> |
143 | </p> |
146 | </p> |
144 | <p> |
147 | <p> |
145 | <span> |
148 | <span> |
146 | An advanced search is very accurate but may take |
149 | An advanced search is very accurate but may take |
147 | a bit of time. If not yet done, consider doing a <a href="basic-search.htm">basic |
150 | a bit of time. If not yet done, consider doing a <a href="basic-search.htm">quick |
148 | search</a>: It is much quicker and will probably gives good results |
151 | search</a>: It is much quicker and will probably gives good results |
149 | in most circumstances. |
152 | in most circumstances. |
150 | </span> |
153 | </span> |
151 | </p> |
154 | </p> |
152 | </td> |
155 | </td> |
Line 179... | Line 182... | ||
179 | <input type="text" name="dotted_oid" size="10"></p> |
182 | <input type="text" name="dotted_oid" size="10"></p> |
180 | </td> |
183 | </td> |
181 | <td valign="bottom" width="50%" align="center" bgcolor="#CCCCCC"> |
184 | <td valign="bottom" width="50%" align="center" bgcolor="#CCCCCC"> |
182 | <div align="left"> |
185 | <div align="left"> |
183 | <span style="font-size:12px;"> |
186 | <span style="font-size:12px;"> |
184 | Parent OID in dot notation (<em>e.g.,</em> <code>1\.2\.250</code>) in case you want to restrict |
187 | Parent OID in dot notation (<em>e.g.,</em> <code>1.2.250</code>) in case you want to restrict |
185 | the search to child OIDs which begin with this |
188 | the search to child OIDs which begin with this |
186 | parent OID. Make sure to use "\<code>.</code>" for dots in the |
- | |
187 | regular expression. |
189 | parent OID. |
188 | </span> |
190 | </span> |
189 | </div> |
191 | </div> |
190 | </td> |
192 | </td> |
191 | </tr> |
193 | </tr> |
192 | <tr align="center"> |
194 | <tr align="center"> |
Line 207... | Line 209... | ||
207 | <input type="text" name="identifier" size="10"></div> |
209 | <input type="text" name="identifier" size="10"></div> |
208 | </td> |
210 | </td> |
209 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC"> |
211 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC"> |
210 | <div align="left"> |
212 | <div align="left"> |
211 | <span style="font-size:12px;"> |
213 | <span style="font-size:12px;"> |
212 | Beginning with a lower-case letter; |
214 | Beginning with a lower-case letter<!--; |
213 | can match any identifier in the OID path, not only the last arc |
215 | can match any identifier in the OID path, not only the last arc--> |
214 | </span> |
216 | </span> |
215 | </div> |
217 | </div> |
216 | </td> |
218 | </td> |
217 | </tr> |
219 | </tr> |
218 | <tr align="center"> |
220 | <tr align="center"> |
Line 233... | Line 235... | ||
233 | <input type="text" name="number" size="10"></div> |
235 | <input type="text" name="number" size="10"></div> |
234 | </td> |
236 | </td> |
235 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC"> |
237 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC"> |
236 | <div align="left"> |
238 | <div align="left"> |
237 | <span style="font-size:12px;"> |
239 | <span style="font-size:12px;"> |
238 | Match any number in the OID path, not |
240 | <!--Match any number in the OID path, not |
239 | only the last arc |
241 | only the last arc--> |
240 | </span> |
242 | </span> |
241 | </div> |
243 | </div> |
242 | </td> |
244 | </td> |
243 | </tr> |
245 | </tr> |
244 | <tr align="center"> |
246 | <tr align="center"> |
Line 259... | Line 261... | ||
259 | <input type="text" name="unicode_label" size="10"></div> |
261 | <input type="text" name="unicode_label" size="10"></div> |
260 | </td> |
262 | </td> |
261 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC" height="8%"> |
263 | <td valign="middle" width="21%" align="center" bgcolor="#CCCCCC" height="8%"> |
262 | <div align="left"> |
264 | <div align="left"> |
263 | <span style="font-size:12px;"> |
265 | <span style="font-size:12px;"> |
264 | Match any unicode label in the OID |
266 | <!--Match any unicode label in the OID |
265 | path, not only the last arc |
267 | path, not only the last arc--> |
266 | </span> |
268 | </span> |
267 | </div> |
269 | </div> |
268 | </td> |
270 | </td> |
269 | </tr> |
271 | </tr> |
270 | <tr align="center"> |
272 | <tr align="center"> |
Line 634... | Line 636... | ||
634 | d=new Date(document.lastModified) |
636 | d=new Date(document.lastModified) |
635 | month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec") |
637 | month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec") |
636 | if (Date.parse(document.lastModified) != 0) |
638 | if (Date.parse(document.lastModified) != 0) |
637 | document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear()); |
639 | document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear()); |
638 | </script>--> |
640 | </script>--> |
639 | 19 Mar 2022 |
641 | 27 Nov 2022 |
640 | </font> |
642 | </font> |
641 | </td> |
643 | </td> |
642 | <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
644 | <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
643 | <td align="center" width="409"> |
645 | <td align="center" width="409"> |
644 | <font size=-1> |
646 | <font size=-1> |