Rev 5254 | Rev 5764 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5254 | Rev 5708 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | !let module_keywords = |
39 | !let module_keywords = |
40 | 40 | ||
41 | 41 | ||
42 | !!INDEXEND |
42 | !!INDEXEND |
43 | 43 | ||
44 | !!<html><head> |
- | |
45 | !!$wims_html_header |
- | |
46 | !!</head> |
- | |
47 | !!<body $wims_htmlbody> |
- | |
48 | !header1 |
44 | !header1 |
49 | <h1 class="wims_title"> |
45 | <h1 class="wims_title"> |
50 | <font size=+2>W</font>WW |
46 | <font size=+2>W</font>WW |
51 | <font size=+2>I</font>nteractive |
47 | <font size=+2>I</font>nteractive |
52 | <font size=+2>M</font>ultipurpose |
48 | <font size=+2>M</font>ultipurpose |
53 | <font size=+2>S</font>erver<br> |
49 | <font size=+2>S</font>erver<br> |
54 | <font size="-1">at <a href="/">$httpd_HTTP_HOST</a></font> <br> |
50 | <font size="-1">at <a href="/">$httpd_HTTP_HOST</a></font> <br/> |
55 | $module_title</h1> <p> |
51 | $module_title</h1> <p> |
56 | 52 | ||
57 | !set mir=wimshome/public_html/html/mirrors.en |
53 | !set mir=wimshome/public_html/html/mirrors.en |
58 | !set thissite=!tolower $httpd_SERVER_NAME |
54 | !set thissite=!tolower $httpd_SERVER_NAME |
59 | !set n=!recordcnt $mir |
55 | !set n=!recordcnt $mir |
Line 77... | Line 73... | ||
77 | !else |
73 | !else |
78 | Here are the other WIMS sites known to be open to the general public. |
74 | Here are the other WIMS sites known to be open to the general public. |
79 | If you use WIMS regularly in your work, we suggest |
75 | If you use WIMS regularly in your work, we suggest |
80 | that you bookmark at least some of these addresses, so that if your favorite |
76 | that you bookmark at least some of these addresses, so that if your favorite |
81 | site becomes temporarily unavailable, you would not see your work disrupted. |
77 | site becomes temporarily unavailable, you would not see your work disrupted. |
- | 78 | ||
82 |
|
79 | $table_header |
83 | $table_hdtr<th>Site</th> |
80 | $table_hdtr<th>Site</th> |
84 | <th>Location</th> |
81 | <th>Location</th> |
85 | <th>Country</th> |
82 | <th>Country</th> |
86 | <th>Supported<br>languages</th> |
83 | <th>Supported<br>languages</th> |
87 | <th>Comments</th> |
84 | <th>Comments</th> |
Line 89... | Line 86... | ||
89 | !for i_=1 to $n |
86 | !for i_=1 to $n |
90 | !set j_=!item $i_ of $c |
87 | !set j_=!item $i_ of $c |
91 | !set l_=!record $j_ of $mir |
88 | !set l_=!record $j_ of $mir |
92 | !distribute lines $l_ into u_,t_,C_,l_,m_,e_,r_ |
89 | !distribute lines $l_ into u_,t_,C_,l_,m_,e_,r_ |
93 | !readproc mirror.proc |
90 | !readproc mirror.proc |
94 | $table_tr<td |
91 | $table_tr<td> |
95 | <a href="$u_">$U_</a></td> |
92 | <a href="$u_">$U_</a></td> |
96 | <td |
93 | <td>$t_</td> |
97 | <td |
94 | <td>$C_</td> |
98 | <td |
95 | <td> |
99 | !for L_ in $l_ |
96 | !for L_ in $l_ |
100 | <img src="gifs/$L_.gif" alt="$L_.gif" height="16"> |
97 | <img src="gifs/$L_.gif" alt="$L_.gif" height="16" /> |
101 | !next L_ |
98 | !next L_ |
102 | !! <td align="center">!mailurl n$e_ $m_\nWIMS site |
99 | !! <td align="center">!mailurl n$e_ $m_\nWIMS site |
103 | </td><td>$r_ </td></tr> |
100 | </td><td>$r_ </td></tr> |
104 | !next i_ |
101 | !next i_ |
105 | $table_end <p> |
102 | $table_end <p> |