Rev 7428 | Rev 11949 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 7428 | Rev 11943 | ||
---|---|---|---|
Line 20... | Line 20... | ||
20 | </head><body> |
20 | </head><body> |
21 | !if threshold iswordof $wims_user_error |
21 | !if threshold iswordof $wims_user_error |
22 | 22 | ||
23 | <h1 class="wims_center">We are too busy</h1> |
23 | <h1 class="wims_center">We are too busy</h1> |
24 | <hr style="width:50%"/><p> |
24 | <hr style="width:50%"/><p> |
25 | This WIMS server <font color="blue">$httpd_HTTP_HOST</font> |
25 | This WIMS server <font color="blue">$httpd_HTTP_HOST</font> |
26 | is currently overloaded by a large number of requests, and |
26 | is currently overloaded by a large number of requests, and |
27 | can no longer satisfy further users. Please come back later, |
27 | can no longer satisfy further users. Please come back later, |
28 | or look for another wims mirror site. |
28 | or look for another wims mirror site. |
29 | <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 |
30 | to serve you soon. |
30 | to serve you soon. |
31 | !read mirror.phtml.en |
31 | !read mirror.phtml.en |
32 | </body></html> |
32 | </body></html> |
Line 50... | Line 50... | ||
50 | <span class="wims_warning">$miss</span> |
50 | <span class="wims_warning">$miss</span> |
51 | 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 |
52 | to WIMS) on this server. |
52 | to WIMS) on this server. |
53 | <p> |
53 | <p> |
54 | You can either |
54 | You can either |
55 | <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 |
56 | 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 |
57 | mirror site from the table below. |
57 | mirror site from the table below. |
58 | <a href="wims.cgi">WIMS homepage</a>. |
58 | <a href="wims.cgi">WIMS homepage</a>. |
59 | !read mirror.phtml.en |
59 | !read mirror.phtml.en |
60 | </body></html> |
60 | </body></html> |
Line 64... | Line 64... | ||
64 | !if trapped iswordof $wims_user_error |
64 | !if trapped iswordof $wims_user_error |
65 | <h1 class="wims_center">Stop!</h1><hr/> |
65 | <h1 class="wims_center">Stop!</h1><hr/> |
66 | !endif |
66 | !endif |
67 | 67 | ||
68 | <h1 class="wims_center">WIMS error</h1><hr/><p> |
68 | <h1 class="wims_center">WIMS error</h1><hr/><p> |
69 | - | ||
- | 69 | !if no_access notwordof $wims_user_error |
|
70 | 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> |
71 | 71 | !endif |
|
72 | !if module_change iswordof $wims_user_error |
72 | !if module_change iswordof $wims_user_error |
73 | !if $wims_human_access=yes |
73 | !if $wims_human_access=yes |
74 | Please avoid using the `Back' button of your browser, |
74 | Please avoid using the `Back' button of your browser, |
75 | because you are on an interactive server. |
75 | because you are on an interactive server. |
76 | <p class="wimscenter"> |
76 | <p class="wimscenter"> |
Line 98... | Line 98... | ||
98 | please type the word `wims' here: |
98 | please type the word `wims' here: |
99 | <input size="8" name="special_parm"/> then |
99 | <input size="8" name="special_parm"/> then |
100 | <input type="submit" value="send to the server"/>.</form> |
100 | <input type="submit" value="send to the server"/>.</form> |
101 | <p> |
101 | <p> |
102 | 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. |
103 | They can therefore only be used online, |
103 | They can therefore only be used online, |
104 | 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 |
105 | using a robot program. |
105 | using a robot program. |
106 | !if robot_doubt iswordof $wims_user_error |
106 | !if robot_doubt iswordof $wims_user_error |
107 | <small>And beware that people trying to hacker on |
107 | <small>And beware that people trying to hacker on |
108 | this site will see their accesses definitely denied.</small> |
108 | this site will see their accesses definitely denied.</small> |
Line 161... | Line 161... | ||
161 | Simplify your request, please. |
161 | Simplify your request, please. |
162 | !goto end |
162 | !goto end |
163 | !endif |
163 | !endif |
164 | 164 | ||
165 | !if double_click iswordof $wims_user_error |
165 | !if double_click iswordof $wims_user_error |
166 | 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 |
167 | still under way.<p> |
167 | still under way.<p> |
168 | If you have been double clicking, now please wait |
168 | If you have been double clicking, now please wait |
169 | <span class="wims_warning">$wims_cpu_limit seconds</span> |
169 | <span class="wims_warning">$wims_cpu_limit seconds</span> |
170 | for the process of your old request to terminate, then |
170 | for the process of your old request to terminate, then |
171 | !href cmd=resume click here |
171 | !href cmd=resume click here |
172 | 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 |
173 | you ask wims to do lengthy computations.) |
173 | you ask wims to do lengthy computations.) |
Line 177... | Line 177... | ||
177 | !exit |
177 | !exit |
178 | !endif |
178 | !endif |
179 | 179 | ||
180 | !if invalid_char_in_query_string iswordof $wims_user_error |
180 | !if invalid_char_in_query_string iswordof $wims_user_error |
181 | The substitution ``$wims_error_data'' in the parameter string is illegal. |
181 | The substitution ``$wims_error_data'' in the parameter string is illegal. |
182 | !goto end |
182 | !goto end |
183 | !endif |
183 | !endif |
184 | 184 | ||
185 | !if name_conflict iswordof $wims_user_error |
185 | !if name_conflict iswordof $wims_user_error |
186 | ``$wims_error_data'' is a reserved name for wims. |
186 | ``$wims_error_data'' is a reserved name for wims. |
187 | !goto end |
187 | !goto end |
Line 197... | Line 197... | ||
197 | You have asked for a file without giving its name. |
197 | You have asked for a file without giving its name. |
198 | !else |
198 | !else |
199 | You have asked for a dynamic insertion without giving its number. |
199 | You have asked for a dynamic insertion without giving its number. |
200 | !endif |
200 | !endif |
201 | !goto end |
201 | !goto end |
202 | !endif |
202 | !endif |
203 | 203 | ||
204 | !if no_module_name iswordof $wims_user_error |
204 | !if no_module_name iswordof $wims_user_error |
205 | You have asked a new session without module name. |
205 | You have asked a new session without module name. |
206 | !goto end |
206 | !goto end |
207 | !endif |
207 | !endif |
208 | 208 | ||
209 | !if no_session iswordof $wims_user_error |
209 | !if no_session iswordof $wims_user_error |
210 | The session number is missing. |
210 | The session number is missing. |
211 | !goto end |
211 | !goto end |
212 | !endif |
212 | !endif |
213 | 213 | ||
214 | !if parm_too_long iswordof $wims_user_error |
214 | !if parm_too_long iswordof $wims_user_error |
215 | Your parameter string has exceeded length limit. This is not allowed by |
215 | Your parameter string has exceeded length limit. This is not allowed by |
216 | security reasons, sorry. |
216 | security reasons, sorry. |
217 | !goto end |
217 | !goto end |
218 | !endif |
218 | !endif |
219 | 219 | ||
220 | !if string_too_long iswordof $wims_user_error |
220 | !if string_too_long iswordof $wims_user_error |
221 | The definition of variable has a length which exceeds the limit. |
221 | The definition of variable has a length which exceeds the limit. |
222 | !goto end |
222 | !goto end |
223 | !endif |
223 | !endif |
224 | 224 | ||
225 | !if too_many_variables iswordof $wims_user_error |
225 | !if too_many_variables iswordof $wims_user_error |
226 | The number of parameters which you transmitted has exceeded the limit |
226 | The number of parameters which you transmitted has exceeded the limit |
227 | authorized in this wims site. |
227 | authorized in this wims site. |
228 | !goto end |
228 | !goto end |
229 | !endif |
229 | !endif |
Line 251... | Line 251... | ||
251 | !if $n<=1 |
251 | !if $n<=1 |
252 | !if $len<55 |
252 | !if $len<55 |
253 | !set len=$[$len+3] |
253 | !set len=$[$len+3] |
254 | !else |
254 | !else |
255 | !set len=59 |
255 | !set len=59 |
256 | !endif |
256 | !endif |
257 | <input size="$len" name="$(name$bad_parentheses)" value="$value"/><p> |
257 | <input size="$len" name="$(name$bad_parentheses)" value="$value"/><p> |
258 | !else |
258 | !else |
259 | !if $n>10 |
259 | !if $n>10 |
260 | !set n=10 |
260 | !set n=10 |
261 | !endif |
261 | !endif |
Line 268... | Line 268... | ||
268 | !href cmd=resume Cancel the last request |
268 | !href cmd=resume Cancel the last request |
269 | , or |
269 | , or |
270 | !href $ wims home |
270 | !href $ wims home |
271 | .</div> |
271 | .</div> |
272 | !exit |
272 | !exit |
273 | !endif |
273 | !endif |
274 | 274 | ||
275 | !if wrong_module iswordof $wims_user_error |
275 | !if wrong_module iswordof $wims_user_error |
276 | !set tmp=!translate "!/<>;': to $ $ in $module |
276 | !set tmp=!translate "!/<>;': to $ $ in $module |
277 | <p>The module <code>$tmp</code> which you asked for does not exist in this site.</p> |
277 | <p>The module <code>$tmp</code> which you asked for does not exist in this site.</p> |
278 | !goto end |
278 | !goto end |
279 | !endif |
279 | !endif |
280 | 280 | ||
281 | !if wrong_session iswordof $wims_user_error |
281 | !if wrong_session iswordof $wims_user_error |
282 | The session number ``$session'' is not (or no longer) valid. |
282 | The session number ``$session'' is not (or no longer) valid. |
283 | <a href="wims.cgi">Create a new session</a>. |
283 | <a href="wims.cgi">Create a new session</a>. |
284 | !goto end |
284 | !goto end |
285 | !endif |
285 | !endif |
286 | 286 | ||
287 | !if rafale iswordof $wims_user_error |
287 | !if rafale iswordof $wims_user_error |
288 | Please don't play with the exercises! |
288 | Please don't play with the exercises! |
289 | <p> |
289 | <p> |
290 | You should take time to think carefully and try to solve the exercises |
290 | You should take time to think carefully and try to solve the exercises |
Line 352... | Line 352... | ||
352 | !exit |
352 | !exit |
353 | !endif |
353 | !endif |
354 | 354 | ||
355 | !if no_access iswordof $wims_user_error |
355 | !if no_access iswordof $wims_user_error |
356 | Your request is refused by the access policy of this site. Sorry. |
356 | Your request is refused by the access policy of this site. Sorry. |
357 | !goto |
357 | !goto end2 |
358 | !endif |
358 | !endif |
359 | 359 | ||
360 | !if class_closed iswordof $wims_user_error |
360 | !if class_closed iswordof $wims_user_error |
361 | Sorry. |
361 | Sorry. |
362 | <p> |
362 | <p> |
363 | Access to this virtual class is temporarily closed by its supervisor. |
363 | Access to this virtual class is temporarily closed by its supervisor. |
Line 365... | Line 365... | ||
365 | <div class="wimscenter"> |
365 | <div class="wimscenter"> |
366 | !href cmd=close&module=home WIMS |
366 | !href cmd=close&module=home WIMS |
367 | </div> |
367 | </div> |
368 | </body></html> |
368 | </body></html> |
369 | !exit |
369 | !exit |
370 | !endif |
370 | !endif |
371 | 371 | ||
372 | :end |
372 | :end |
373 | <p>If you see this message after following a link given by another page, it |
373 | <p>If you see this message after following a link given by another page, it |
374 | probably is because the link is not well-prepared. In this case, please |
374 | probably is because the link is not well-prepared. In this case, please |
375 | contact the author of that page, to inform him of the error. You may also |
375 | contact the author of that page, to inform him of the error. You may also |
376 | write to the |
376 | write to the |
377 | <a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this |
377 | <a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this |
378 | site</a>, with as many details as possible about the circomstances |
378 | site</a>, with as many details as possible about the circomstances |