Subversion Repositories wimsdev

Rev

Rev 5755 | Rev 7428 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5755 Rev 5900
Line 19... Line 19...
19 
<style type="text/css"><!--
 19 
<style type="text/css"><!--
20 
body {text-align: justify;
 20 
body {text-align: justify;
21 
padding-left: 3%; padding-right: 3%;}
 21 
padding-left: 3%; padding-right: 3%;}
22 
--></style>
 22 
--></style>
23 
</head><body onload="window.resizeTo(500,200);window.moveTo(250,300);" class="user_error">
 23 
</head><body onload="window.resizeTo(500,200);window.moveTo(250,300);" class="user_error">
24 
<h1 align="center">ERROR</h1>
 24 
<h1 class="wims_center">ERROR</h1>
25 
!goto examerr
 25 
!goto examerr
26 
!endif
 26 
!endif
27 
 
 27 
 
28 
</head><body class="user_error">
 28 
</head><body class="user_error">
29 
!if threshold iswordof $wims_user_error
 29 
!if threshold iswordof $wims_user_error
30 
 <hr width="1"/>
 - 
 
- 
 
 30 
 
31 
 <h1 align="center">We are too busy</h1>
 31 
 <h1 class="wims_center">We are too busy</h1>
32 
 <hr width="50%"/><p>
 32 
 <hr style="width:50%"/><p>
33 
 This WIMS server <font color="blue">$httpd_HTTP_HOST</font>
33 
 This WIMS server <font color="blue">$httpd_HTTP_HOST</font>
34 
 is currently overloaded by a large number of requests, and
 34 
 is currently overloaded by a large number of requests, and
35 
 can no longer satisfy further users. Please come back later,
35 
 can no longer satisfy further users. Please come back later,
36 
 or look for another wims mirror site.
 36 
 or look for another wims mirror site.
37 
 <p>We are very sorry for this inconvenience to you, and hope to be able
 37 
 <p>We are very sorry for this inconvenience to you, and hope to be able
38 
 to serve you soon.
 38 
 to serve you soon.
39 
 !read mirror.phtml.en
 39 
 !read mirror.phtml.en
40 
 </body></html>
 40 
 </body></html>
41 
 !exit
 41 
 !exit
42 
!endif
 42 
!endif
43 
 
 43 
 
44 
!if overload iswordof $wims_user_error
 44 
!if overload iswordof $wims_user_error
45 
 <hr width="1"/>
 - 
 
- 
 
 45 
 
46 
 <h1 align="center">SORRY</h1>
 46 
 <h1 class="wims_center">SORRY</h1>
47 
 Your request is blocked by this WIMS server: connection quota exceeded.
 47 
 Your request is blocked by this WIMS server: connection quota exceeded.
48 
 </body></html>
 48 
 </body></html>
49 
 !exit
 49 
 !exit
50 
!endif
 50 
!endif
51 
 
 51 
 
52 
!if ++++missing_ isin ++++$wims_user_error
 52 
!if ++++missing_ isin ++++$wims_user_error
53 
 <hr width="1"/>
 - 
 
- 
 
 53 
 
54 
 <h1 align="center">Sorry</h1>
 54 
 <h1 class="wims_center">Sorry</h1>
55 
 <hr width="50%"/><p>
 55 
 <hr style="width:50%"/>
56 
 WIMS needs a software
 56 
 WIMS needs a software
57 
 !set miss=!upper $missing_software
 57 
 !set miss=!upper $missing_software
58 
<span class="wims_warning">$miss</span>
 58 
<span class="wims_warning">$miss</span>
59 
 to process your request, but that software is not available (or not visible
 59 
 to process your request, but that software is not available (or not visible
60 
 to WIMS) on this server.
 60 
 to WIMS) on this server.
61 
 <p>
 61 
 
62 
 You can either
 62 
 You can either
63 
 <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write
63 
 <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write
64 
 to the site manager</a> to inform him/her of the problem, or choose a
 64 
 to the site manager</a> to inform him/her of the problem, or choose a
65 
 mirror site from the table below.
 65 
 mirror site from the table below.
66 
 <a href="wims.cgi">WIMS homepage</a>.
 66 
 <a href="wims.cgi">WIMS homepage</a>.
Line 68... Line 68...
68 
 </body></html>
 68 
 </body></html>
69 
 !exit
 69 
 !exit
70 
!endif
 70 
!endif
71 
 
 71 
 
72 
!if trapped iswordof $wims_user_error
 72 
!if trapped iswordof $wims_user_error
73 
 <h1 align="center">Stop!</h1><hr/>
 73 
 <h1 class="wims_center">Stop!</h1><hr/>
74 
!endif
 74 
!endif
75 
 
 75 
 
76 
<h1 align="center">WIMS error</h1><hr/><p>
 76 
<h1 class="wims_center">WIMS error</h1><hr/>
77 
 
 77 
 
78 
There is an error in your request to this WIMS site.<p>
 78 
There is an error in your request to this WIMS site.
79 
 
 79 
 
80 
!if module_change iswordof $wims_user_error
 80 
!if module_change iswordof $wims_user_error
81 
 !if $wims_human_access=yes
 81 
 !if $wims_human_access=yes
82 
  Please avoid using the `Back' button of your browser,
 82 
  Please avoid using the `Back' button of your browser,
83 
  because you are on an interactive server.
 83 
  because you are on an interactive server.
84 
  <p><center>
 84 
  <p class="wimscenter">
85 
  !set tit=!module title $module
 85 
  !set tit=!module title $module
86 
  !default tit=$module
 86 
  !default tit=$module
87 
  !href module=$module $tit
 87 
  !href module=$module $tit
88 
  &nbsp;&nbsp;&nbsp;
 88 
  &nbsp;&nbsp;&nbsp;
89 
  !href $ WIMS home
 89 
  !href $ WIMS home
Line 155... Line 155...
155 
!endif
 155 
!endif
156 
 
 156 
 
157 
!if bad_insnum iswordof $wims_user_error
 157 
!if bad_insnum iswordof $wims_user_error
158 
 !if $cmd=getfile
 158 
 !if $cmd=getfile
159 
  The file you asked for does not exist.
 159 
  The file you asked for does not exist.
160 
 !else
 160 
 !else
161 
  The file name for dynamic insertion is not valid.
 161 
  The file name for dynamic insertion is not valid.
162 
 !endif
 162 
 !endif
163 
 !goto end
 163 
 !goto end
164 
!endif
 164 
!endif
165 
 
 165 
 
166 
!if cmd_output_too_long iswordof $wims_user_error
 166 
!if cmd_output_too_long iswordof $wims_user_error
167 
  The intermediate result of the computation has exceeded the length limit.
 167 
  The intermediate result of the computation has exceeded the length limit.
168 
  You have probably submitted a request which is unrealistically complicated.
 168 
  You have probably submitted a request which is unrealistically complicated.
169 
  Simplify your request, please.
 169 
  Simplify your request, please.
170 
  !goto end
 170 
  !goto end
171 
!endif
 171 
!endif
172 
 
 172 
 
173 
!if double_click iswordof $wims_user_error
 173 
!if double_click iswordof $wims_user_error
174 
 This request arrived while the process of another request from you is
174 
 This request arrived while the process of another request from you is
175 
 still under way.<p>
 175 
 still under way.<p>
Line 185... Line 185...
185 
 !exit
 185 
 !exit
186 
!endif
 186 
!endif
187 
 
 187 
 
188 
!if invalid_char_in_query_string iswordof $wims_user_error
 188 
!if invalid_char_in_query_string iswordof $wims_user_error
189 
  The substitution ``$wims_error_data'' in the parameter string is illegal.
 189 
  The substitution ``$wims_error_data'' in the parameter string is illegal.
190 
  !goto end
 190 
  !goto end
191 
!endif
 191 
!endif
192 
 
 192 
 
193 
!if name_conflict iswordof $wims_user_error
 193 
!if name_conflict iswordof $wims_user_error
194 
  ``$wims_error_data'' is a reserved name for wims.
 194 
  ``$wims_error_data'' is a reserved name for wims.
195 
  !goto end
 195 
  !goto end
196 
!endif
 196 
!endif
197 
 
 197 
 
198 
!if no_command iswordof $wims_user_error
 198 
!if no_command iswordof $wims_user_error
199 
  There is no command.
 199 
  There is no command.
200 
  !goto end
 200 
  !goto end
201 
!endif
 201 
!endif
202 
 
 202 
 
203 
!if no_insnum iswordof $wims_user_error
 203 
!if no_insnum iswordof $wims_user_error
204 
 !if $cmd=getfile
 204 
 !if $cmd=getfile
205 
  You have asked for a file without giving its name.
 205 
  You have asked for a file without giving its name.
Line 337... Line 337...
337 
  :examend
 337 
  :examend
338 
  !set pses=!translate _ to , in $wims_session
 338 
  !set pses=!translate _ to , in $wims_session
339 
  !set pses=!item 1 of $pses
 339 
  !set pses=!item 1 of $pses
340 
  !set pser=!randint 1,999
 340 
  !set pser=!randint 1,999
341 
  !set wims_opener=window.opener.location='$wims_ref_name?session=$pses.$pser&cmd=reply&job=student';
 341 
  !set wims_opener=window.opener.location='$wims_ref_name?session=$pses.$pser&cmd=reply&job=student';
342 
  <p><center>
 342 
  <p class="wimscenter">
343 
  <a href=# onclick="window.close();$wims_opener">Close this window</a>.
 343 
  <a href=# onclick="window.close();$wims_opener">Close this window</a>.
344 
  </center><p>
 344 
  </p>
345 
  !exit
 345 
  !exit
346 
!endif
 346 
!endif
347 
 
 347 
 
348 
!if exam_closed iswordof $wims_user_error
 348 
!if exam_closed iswordof $wims_user_error
349 
 This exam is not accessible for your connection at the time being. Please verify
 349 
 This exam is not accessible for your connection at the time being. Please verify
Line 355... Line 355...
355 
 Your request contains a user identification error. Are you trying to connect
 355 
 Your request contains a user identification error. Are you trying to connect
356 
 to somebody else's session?
 356 
 to somebody else's session?
357 
 <p>
 357 
 <p>
358 
 Please
 358 
 Please
359 
 <a href="wims.cgi?special_parm=ignorecookie&special_parm2=$[randint(10^8)]">make a new connection</a>.
 359 
 <a href="wims.cgi?special_parm=ignorecookie&special_parm2=$[randint(10^8)]">make a new connection</a>.
360 
 </body></html>
 360 
 </p></body></html>
361 
 !exit
 361 
 !exit
362 
!endif
 362 
!endif
363 
 
 363 
 
364 
!if no_access iswordof $wims_user_error
 364 
!if no_access iswordof $wims_user_error
365 
  Your request is refused by the access policy of this site. Sorry.
 365 
  Your request is refused by the access policy of this site. Sorry.