Subversion Repositories wimsdev

Rev

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 class="wims_center">WIMS error</h1><hr/>
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 type=hidden name=$i value="$value"/>
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 end
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