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 28... | Line 28... | ||
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 | 30 | ||
31 | <h1 class="wims_center">We are too busy</h1> |
31 | <h1 class="wims_center">We are too busy</h1> |
32 | <hr style="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> |
Line 58... | Line 58... | ||
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 | 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>. |
67 | !read mirror.phtml.en |
67 | !read mirror.phtml.en |
68 | </body></html> |
68 | </body></html> |
Line 71... | Line 71... | ||
71 | 71 | ||
72 | !if trapped iswordof $wims_user_error |
72 | !if trapped iswordof $wims_user_error |
73 | <h1 class="wims_center">Stop!</h1><hr/> |
73 | <h1 class="wims_center">Stop!</h1><hr/> |
74 | !endif |
74 | !endif |
75 | 75 | ||
76 | <h1 |
76 | <h1>WIMS erreur</h1> |
- | 77 | !if no_access notwordof $wims_user_error |
|
77 | 78 | <p> |
|
78 | There is an error in your request to this WIMS site. |
79 | There is an error in your request to this WIMS site. |
- | 80 | </p> |
|
79 | 81 | !endif |
|
80 | !if module_change iswordof $wims_user_error |
82 | !if module_change iswordof $wims_user_error |
81 | !if $wims_human_access=yes |
83 | !if $wims_human_access=yes |
82 | Please avoid using the `Back' button of your browser, |
84 | Please avoid using the `Back' button of your browser, |
83 | because you are on an interactive server. |
85 | because you are on an interactive server. |
84 | <p class="wimscenter"> |
86 | <p class="wimscenter"> |
Line 106... | Line 108... | ||
106 | please type the word `wims' here: |
108 | please type the word `wims' here: |
107 | <input size="8" name="special_parm"/> then |
109 | <input size="8" name="special_parm"/> then |
108 | <input type="submit" value="send to the server"/>.</form> |
110 | <input type="submit" value="send to the server"/>.</form> |
109 | <p> |
111 | <p> |
110 | Please bear in mind that pages on this site are dynamically generated. |
112 | Please bear in mind that pages on this site are dynamically generated. |
111 | They can therefore only be used online, |
113 | They can therefore only be used online, |
112 | via a normal browser. It is useless for you to gather these pages |
114 | via a normal browser. It is useless for you to gather these pages |
113 | using a robot program. |
115 | using a robot program. |
114 | !if robot_doubt iswordof $wims_user_error |
116 | !if robot_doubt iswordof $wims_user_error |
115 | <small>And beware that people trying to hacker on |
117 | <small>And beware that people trying to hacker on |
116 | this site will see their accesses definitely denied.</small> |
118 | this site will see their accesses definitely denied.</small> |
Line 169... | Line 171... | ||
169 | Simplify your request, please. |
171 | Simplify your request, please. |
170 | !goto end |
172 | !goto end |
171 | !endif |
173 | !endif |
172 | 174 | ||
173 | !if double_click iswordof $wims_user_error |
175 | !if double_click iswordof $wims_user_error |
174 | This request arrived while the process of another request from you is |
176 | This request arrived while the process of another request from you is |
175 | still under way.<p> |
177 | still under way.<p> |
176 | If you have been double clicking, now please wait |
178 | If you have been double clicking, now please wait |
177 | <span class="wims_warning">$wims_cpu_limit seconds</span> |
179 | <span class="wims_warning">$wims_cpu_limit seconds</span> |
178 | for the process of your old request to terminate, then |
180 | for the process of your old request to terminate, then |
179 | !href cmd=resume click here |
181 | !href cmd=resume click here |
180 | to get back to your work. (And please be more patient the next time |
182 | to get back to your work. (And please be more patient the next time |
181 | you ask wims to do lengthy computations.) |
183 | you ask wims to do lengthy computations.) |
Line 185... | Line 187... | ||
185 | !exit |
187 | !exit |
186 | !endif |
188 | !endif |
187 | 189 | ||
188 | !if invalid_char_in_query_string iswordof $wims_user_error |
190 | !if invalid_char_in_query_string iswordof $wims_user_error |
189 | The substitution ``$wims_error_data'' in the parameter string is illegal. |
191 | The substitution ``$wims_error_data'' in the parameter string is illegal. |
190 | !goto end |
192 | !goto end |
191 | !endif |
193 | !endif |
192 | 194 | ||
193 | !if name_conflict iswordof $wims_user_error |
195 | !if name_conflict iswordof $wims_user_error |
194 | ``$wims_error_data'' is a reserved name for wims. |
196 | ``$wims_error_data'' is a reserved name for wims. |
195 | !goto end |
197 | !goto end |
196 | !endif |
198 | !endif |
Line 242... | Line 244... | ||
242 | !form $cmd |
244 | !form $cmd |
243 | $(name$bad_parentheses) = |
245 | $(name$bad_parentheses) = |
244 | !for i in module,special_parm,worksheet |
246 | !for i in module,special_parm,worksheet |
245 | !if $($i)!=$empty |
247 | !if $($i)!=$empty |
246 | !set value=!translate " to $ $ in $($i) |
248 | !set value=!translate " to $ $ in $($i) |
247 | <input |
249 | <input type="hidden" name="$i" value="$value" /> |
248 | !endif |
250 | !endif |
249 | !next i |
251 | !next i |
250 | !for i=0 to $user_var_no-1 |
252 | !for i=0 to $user_var_no-1 |
251 | !if $i!=$bad_parentheses |
253 | !if $i!=$bad_parentheses |
252 | !set value=!translate " to $ $ in $(value$i) |
254 | !set value=!translate " to $ $ in $(value$i) |
Line 261... | Line 263... | ||
261 | !set len=$[$len+3] |
263 | !set len=$[$len+3] |
262 | !else |
264 | !else |
263 | !set len=59 |
265 | !set len=59 |
264 | !endif |
266 | !endif |
265 | <input size="$len" name="$(name$bad_parentheses)" value="$value"/><p> |
267 | <input size="$len" name="$(name$bad_parentheses)" value="$value"/><p> |
266 | !else |
268 | !else |
267 | !if $n>10 |
269 | !if $n>10 |
268 | !set n=10 |
270 | !set n=10 |
269 | !endif |
271 | !endif |
270 | <textarea rows="$n" cols="50" name="$(name$bad_parentheses)">$value</textarea> |
272 | <textarea rows="$n" cols="50" name="$(name$bad_parentheses)">$value</textarea> |
271 | <p> |
273 | <p> |
Line 277... | Line 279... | ||
277 | , or |
279 | , or |
278 | !href $ wims home |
280 | !href $ wims home |
279 | .</div> |
281 | .</div> |
280 | !exit |
282 | !exit |
281 | !endif |
283 | !endif |
282 | 284 | ||
283 | !if wrong_module iswordof $wims_user_error |
285 | !if wrong_module iswordof $wims_user_error |
284 | !set tmp=!translate "!/<>;': to $ $ in $module |
286 | !set tmp=!translate "!/<>;': to $ $ in $module |
285 | The module <code>$tmp</code> which you asked for does not exist in this site. |
287 | The module <code>$tmp</code> which you asked for does not exist in this site. |
286 | !goto end |
288 | !goto end |
287 | !endif |
289 | !endif |
288 | 290 | ||
289 | !if wrong_session iswordof $wims_user_error |
291 | !if wrong_session iswordof $wims_user_error |
290 | The session number ``$session'' is not (or no longer) valid. |
292 | The session number ``$session'' is not (or no longer) valid. |
291 | <a href="wims.cgi">Create a new session</a>. |
293 | <a href="wims.cgi">Create a new session</a>. |
292 | !goto end |
294 | !goto end |
293 | !endif |
295 | !endif |
294 | 296 | ||
295 | !if rafale iswordof $wims_user_error |
297 | !if rafale iswordof $wims_user_error |
296 | Please don't play with the exercises! |
298 | Please don't play with the exercises! |
297 | <p> |
299 | <p> |
298 | You should take time to think carefully and try to solve the exercises |
300 | You should take time to think carefully and try to solve the exercises |
Line 362... | Line 364... | ||
362 | !exit |
364 | !exit |
363 | !endif |
365 | !endif |
364 | 366 | ||
365 | !if no_access iswordof $wims_user_error |
367 | !if no_access iswordof $wims_user_error |
366 | Your request is refused by the access policy of this site. Sorry. |
368 | Your request is refused by the access policy of this site. Sorry. |
367 | !goto |
369 | !goto end2 |
368 | !endif |
370 | !endif |
369 | 371 | ||
370 | !if class_closed iswordof $wims_user_error |
372 | !if class_closed iswordof $wims_user_error |
371 | Sorry. |
373 | Sorry. |
372 | <p> |
374 | <p> |
373 | Access to this virtual class is temporarily closed by its supervisor. |
375 | Access to this virtual class is temporarily closed by its supervisor. |
Line 375... | Line 377... | ||
375 | <div class="wimscenter"> |
377 | <div class="wimscenter"> |
376 | !href cmd=close&module=home WIMS |
378 | !href cmd=close&module=home WIMS |
377 | </div> |
379 | </div> |
378 | </body></html> |
380 | </body></html> |
379 | !exit |
381 | !exit |
380 | !endif |
382 | !endif |
381 | 383 | ||
382 | :end |
384 | :end |
383 | <p>If you see this message after following a link given by another page, it |
385 | <p>If you see this message after following a link given by another page, it |
384 | probably is because the link is not well-prepared. In this case, please |
386 | probably is because the link is not well-prepared. In this case, please |
385 | contact the author of that page, to inform him of the error. You may also |
387 | contact the author of that page, to inform him of the error. You may also |
386 | write to the |
388 | write to the |
387 | <a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this |
389 | <a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this |
388 | site</a>, with as many details as possible about the circomstances |
390 | site</a>, with as many details as possible about the circomstances |