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 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 end
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