Rev 6 | Rev 19 | Go to most recent revision | Show entire file | Regard 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> |