Rev 19 | Rev 4747 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 19 | Rev 3570 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | Server: WIMS $wims_version (WWW Interactive Multipurpose Server) |
2 | Server: WIMS $wims_version (WWW Interactive Multipurpose Server) |
3 | Content-type: text/html; charset=iso-8859-1 |
3 | Content-type: text/html; charset=iso-8859-1 |
4 | Cache-Control: no-cache |
4 | Cache-Control: no-cache |
5 | Pragma: no-cache |
5 | Pragma: no-cache |
6 | 6 | ||
7 | < |
7 | <html><head> |
8 | <meta http-equiv=expires content="1 Jan 1990"> |
8 | <meta http-equiv=expires content="1 Jan 1990"> |
9 | < |
9 | <meta HTTP-EQUIV="Pragma" CONTENT="no-cache"> |
10 | < |
10 | <meta HTTP-EQUIV="Cache-Control" CONTENT="no-cache"> |
11 | !if exam_ isin $wims_user_error |
11 | !if exam_ isin $wims_user_error |
12 | < |
12 | <style type="text/css"><!-- |
13 | body {text-align: justify; |
13 | body {text-align: justify; |
14 | padding-left: 3%; padding-right: 3%;} |
14 | padding-left: 3%; padding-right: 3%;} |
15 | --></ |
15 | --></style> |
16 | </ |
16 | </head><body onload="window.resizeTo(500,200);window.moveTo(250,300);"> |
17 | < |
17 | <h1 align="center">ERROR</h1> |
18 | !goto examerr |
18 | !goto examerr |
19 | !endif |
19 | !endif |
20 | </ |
20 | </head><body> |
21 | - | ||
22 | !if threshold iswordof $wims_user_error |
21 | !if threshold iswordof $wims_user_error |
23 | <hr |
22 | <hr width="1"> |
24 | < |
23 | <h1 align="center">We are too busy</h1> |
25 | <hr |
24 | <hr width="50%"><p> |
26 | This WIMS server <font |
25 | This WIMS server <font color="blue">$httpd_HTTP_HOST</font> |
27 | is currently overloaded by a large number of requests, and |
26 | is currently overloaded by a large number of requests, and |
28 | can no longer satisfy further users. Please come back later, |
27 | can no longer satisfy further users. Please come back later, |
29 | or look for another wims mirror site. |
28 | or look for another wims mirror site. |
30 | <p>We are very sorry for this inconvenience to you, and hope to be able |
29 | <p>We are very sorry for this inconvenience to you, and hope to be able |
31 | to serve you soon. |
30 | to serve you soon. |
Line 33... | Line 32... | ||
33 | </body></html> |
32 | </body></html> |
34 | !exit |
33 | !exit |
35 | !endif |
34 | !endif |
36 | 35 | ||
37 | !if overload iswordof $wims_user_error |
36 | !if overload iswordof $wims_user_error |
38 | <hr |
37 | <hr width="1"> |
39 | < |
38 | <h1 align="center">SORRY</h1> |
40 | Your request is blocked by this WIMS server: connection quota exceeded. |
39 | Your request is blocked by this WIMS server: connection quota exceeded. |
41 | </body></html> |
40 | </body></html> |
42 | !exit |
41 | !exit |
43 | !endif |
42 | !endif |
44 | 43 | ||
45 | !if ++++missing_ isin ++++$wims_user_error |
44 | !if ++++missing_ isin ++++$wims_user_error |
46 | <hr |
45 | <hr width="1"> |
47 | < |
46 | <h1 align="center">Sorry</h1> |
48 | <hr |
47 | <hr width="50%"><p> |
49 | WIMS needs a software |
48 | WIMS needs a software |
50 | !set miss=!upper $missing_software |
49 | !set miss=!upper $missing_software |
51 | <b><font |
50 | <b><font color="red">$miss</font></b> |
52 | to process your request, but that software is not available (or not visible |
51 | to process your request, but that software is not available (or not visible |
53 | to WIMS) on this server. |
52 | to WIMS) on this server. |
54 | <p> |
53 | <p> |
55 | You can either |
54 | You can either |
56 | <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write |
55 | <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write |
57 | to the site manager</a> to inform him/her of the problem, or choose a |
56 | to the site manager</a> to inform him/her of the problem, or choose a |
58 | mirror site from the table below. |
57 | mirror site from the table below. |
59 | <a |
58 | <a href="wims.cgi">WIMS homepage</a>. |
60 | !read mirror.phtml.en |
59 | !read mirror.phtml.en |
61 | </body></html> |
60 | </body></html> |
62 | !exit |
61 | !exit |
63 | !endif |
62 | !endif |
64 | 63 | ||
65 | !if trapped iswordof $wims_user_error |
64 | !if trapped iswordof $wims_user_error |
66 | < |
65 | <h1 align="center">Stop!</h1><hr> |
67 | !endif |
66 | !endif |
68 | 67 | ||
69 | < |
68 | <h1 align="center">WIMS error</h1><hr><p> |
70 | 69 | ||
71 | There is an error in your request to this WIMS site.<p> |
70 | There is an error in your request to this WIMS site.<p> |
72 | 71 | ||
73 | !if module_change iswordof $wims_user_error |
72 | !if module_change iswordof $wims_user_error |
74 | !if $wims_human_access=yes |
73 | !if $wims_human_access=yes |
Line 91... | Line 90... | ||
91 | !endif |
90 | !endif |
92 | You have asked an illegal module change. |
91 | You have asked an illegal module change. |
93 | Are you using an automatic program to access this site? |
92 | Are you using an automatic program to access this site? |
94 | :unblock |
93 | :unblock |
95 | !form new |
94 | !form new |
96 | <input |
95 | <input type="hidden" name="module" value="home"> |
97 | <input |
96 | <input type="hidden" name="deblockparm" value="$[randint(10000000)+1000000]"> |
98 | If you have simply clicked on the `back' button of your browser, |
97 | If you have simply clicked on the `back' button of your browser, |
99 | please type the word `wims' here: |
98 | please type the word `wims' here: |
100 | <input |
99 | <input size="8" name="special_parm"> then |
101 | <input |
100 | <input type="submit" value="send to the server">.</form> |
102 | <p> |
101 | <p> |
103 | Please bear in mind that pages on this site are dynamically generated. |
102 | Please bear in mind that pages on this site are dynamically generated. |
104 | They can therefore only be used online, |
103 | They can therefore only be used online, |
105 | via a normal browser. It is useless for you to gather these pages |
104 | via a normal browser. It is useless for you to gather these pages |
106 | using a robot program. |
105 | using a robot program. |
Line 165... | Line 164... | ||
165 | 164 | ||
166 | !if double_click iswordof $wims_user_error |
165 | !if double_click iswordof $wims_user_error |
167 | This request arrived while the process of another request from you is |
166 | This request arrived while the process of another request from you is |
168 | still under way.<p> |
167 | still under way.<p> |
169 | If you have been double clicking, now please wait |
168 | If you have been double clicking, now please wait |
170 | <font |
169 | <font color="red"><b>$wims_cpu_limit seconds</b></font> |
171 | for the process of your old request to terminate, then |
170 | for the process of your old request to terminate, then |
172 | !href cmd=resume click here |
171 | !href cmd=resume click here |
173 | to get back to your work. (And please be more patient the next time |
172 | to get back to your work. (And please be more patient the next time |
174 | you ask wims to do lengthy computations.) |
173 | you ask wims to do lengthy computations.) |
175 | <p> |
174 | <p> |
Line 241... | Line 240... | ||
241 | !endif |
240 | !endif |
242 | !next i |
241 | !next i |
243 | !for i=0 to $user_var_no-1 |
242 | !for i=0 to $user_var_no-1 |
244 | !if $i!=$bad_parentheses |
243 | !if $i!=$bad_parentheses |
245 | !set value=!translate " to $ $ in $(value$i) |
244 | !set value=!translate " to $ $ in $(value$i) |
246 | <input |
245 | <input type="hidden" name="$(name$i)" value="$value"> |
247 | !endif |
246 | !endif |
248 | !next i |
247 | !next i |
249 | !set value=!translate " to $ $ in $(value$bad_parentheses) |
248 | !set value=!translate " to $ $ in $(value$bad_parentheses) |
250 | !set len=!charcnt $value |
249 | !set len=!charcnt $value |
251 | !set n=!linecnt $value |
250 | !set n=!linecnt $value |
Line 253... | Line 252... | ||
253 | !if $len<55 |
252 | !if $len<55 |
254 | !set len=$[$len+3] |
253 | !set len=$[$len+3] |
255 | !else |
254 | !else |
256 | !set len=59 |
255 | !set len=59 |
257 | !endif |
256 | !endif |
258 | <input |
257 | <input size="$len" name="$(name$bad_parentheses)" value="$value"><p> |
259 | !else |
258 | !else |
260 | !if $n>10 |
259 | !if $n>10 |
261 | !set n=10 |
260 | !set n=10 |
262 | !endif |
261 | !endif |
263 | <textarea |
262 | <textarea rows="$n" cols="50" name="$(name$bad_parentheses)">$value</textarea> |
264 | <p> |
263 | <p> |
265 | !endif |
264 | !endif |
266 | Then |
265 | Then |
267 | <input |
266 | <input type="submit" value="send the corrected request."> |
268 | </form><p><hr><p><center> |
267 | </form><p><hr><p><center> |
269 | !href cmd=resume Cancel the last request |
268 | !href cmd=resume Cancel the last request |
270 | , or |
269 | , or |
271 | !href $ wims home |
270 | !href $ wims home |
272 | .</center> |
271 | .</center> |
Line 290... | Line 289... | ||
290 | You should take time to think carefully and try to solve the exercises |
289 | You should take time to think carefully and try to solve the exercises |
291 | correctly, instead of ask new ones over and over again. |
290 | correctly, instead of ask new ones over and over again. |
292 | !href cmd=resume Cancel the last request |
291 | !href cmd=resume Cancel the last request |
293 | . |
292 | . |
294 | !if $wims_user!=$empty and $wims_user!=supervisor |
293 | !if $wims_user!=$empty and $wims_user!=supervisor |
295 | <p><b><font |
294 | <p><b><font color="red">ATTENTION</font></b>! Don't repeat this error! |
296 | Irregular activities may give you bad scores even when score registration is |
295 | Irregular activities may give you bad scores even when score registration is |
297 | closed. |
296 | closed. |
298 | !endif |
297 | !endif |
299 | !goto end2 |
298 | !goto end2 |
300 | !endif |
299 | !endif |
Line 345... | Line 344... | ||
345 | !if bad_ident iswordof $wims_user_error |
344 | !if bad_ident iswordof $wims_user_error |
346 | Your request contains a user identification error. Are you trying to connect |
345 | Your request contains a user identification error. Are you trying to connect |
347 | to somebody else's session? |
346 | to somebody else's session? |
348 | <p> |
347 | <p> |
349 | Please |
348 | Please |
350 | <a |
349 | <a href="wims.cgi?special_parm=ignorecookie&special_parm2=$[randint(10^8)]">make a new connection</a>. |
351 | </body></html> |
350 | </body></html> |
352 | !exit |
351 | !exit |
353 | !endif |
352 | !endif |
354 | 353 | ||
355 | !if no_access iswordof $wims_user_error |
354 | !if no_access iswordof $wims_user_error |