Subversion Repositories wimsdev

Rev

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

Rev 11949 Rev 15416
Line 15... Line 15...
15 
   input[type="submit"],input[type="button"],.wims_button{ background-color:$wims_ref_button_bgcolor;color:$wims_ref_button_color;}
 15 
   input[type="submit"],input[type="button"],.wims_button{ background-color:$wims_ref_button_bgcolor;color:$wims_ref_button_color;}
16 
   .wims_button_help{ background-color:$wims_ref_button_help_bgcolor;color:$wims_ref_button_help_color;}
 16 
   .wims_button_help{ background-color:$wims_ref_button_help_bgcolor;color:$wims_ref_button_help_color;}
17 
  </style>
 17 
  </style>
18 
 
 18 
 
19 
  !if exam_ isin $wims_user_error
 19 
  !if exam_ isin $wims_user_error
20 
    <style type="text/css"><!--
 20 
    <style><!--
21 
    body {text-align: justify;
 21 
    body {text-align: justify;
22 
    padding-left: 3%; padding-right: 3%;}
 22 
    padding-left: 3%; padding-right: 3%;}
23 
    --></style>
 23 
    --></style>
- 
 
 24 
    </head>
24 
    </head><body onload="window.resizeTo(500,200);window.moveTo(250,300);">
 25 
    <body onload="window.resizeTo(500,200);window.moveTo(250,300);" class="user_error">
25 
    <h1 class="wims_center">ERROR</h1>
 26 
      <h1 class="wimscenter">ERROR</h1>
26 
    !goto examerr
 27 
    !goto examerr
27 
  !endif
 28 
  !endif
- 
 
 29 
 
28 
</head><body class="user_error">
 30 
</head><body class="user_error">
29 
 
 31 
 
30 
!if threshold iswordof $wims_user_error
 32 
!if threshold iswordof $wims_user_error
31 
  <h1 class="wims_center">We are too busy</h1>
 33 
  <h1>We are too busy</h1>
32 
  <hr style="width:50%"/><p>
 34 
  <hr style="width:50%" />
- 
 
 35 
  <p>
33 
  This WIMS server <font color="blue">$httpd_HTTP_HOST</font>
 36 
    This WIMS server <span style="color:blue">$httpd_HTTP_HOST</span>
34 
  is currently overloaded by a large number of requests, and
 37 
    is currently overloaded by a large number of requests, and
35 
  can no longer satisfy further users. Please come back later,
 38 
    can no longer satisfy further users. Please come back later,
36 
  or look for another wims mirror site.
 39 
    or look for another wims mirror site.
- 
 
 40 
  </p><p>
37 
  <p>We are very sorry for this inconvenience to you, and hope to be able
 41 
    We are very sorry for this inconvenience to you, and hope to be able
38 
  to serve you soon.
 42 
    to serve you soon.
- 
 
 43 
  </p>
39 
  !read mirror.phtml.en
 44 
  !read mirror.phtml.en
40 
  !goto end_html
 45 
  !goto end_html
41 
!endif
 46 
!endif
42 
 
 47 
 
43 
!if overload iswordof $wims_user_error
 48 
!if overload iswordof $wims_user_error
- 
 
 49 
  <hr style="width:1px" />
44 
  <h1 class="wims_center">SORRY</h1>
 50 
  <h1>SORRY</h1>
- 
 
 51 
  <p>
45 
  Your request is blocked by this WIMS server: connection quota exceeded.
 52 
  Your request is blocked by this WIMS server: connection quota exceeded.</p>
46 
  !goto end_html
 53 
  !goto end_html
47 
!endif
 54 
!endif
48 
 
 55 
 
49 
!if ++++missing_ isin ++++$wims_user_error
 56 
!if ++++missing_ isin ++++$wims_user_error
50 
  <h1 class="wims_center">Sorry</h1>
 - 
 
51 
  <hr style="width:50%"/>
 57 
  <hr width="1"/>
52 
  WIMS needs a software
 58 
  <h1>Sorry</h1>
53 
  !set miss=!upper $missing_software
 - 
 
54 
  <span class="wims_warning">$miss</span>
 - 
 
55 
  to process your request, but that software is not available (or not visible
 - 
 
56 
  to WIMS) on this server.
 59 
  <hr style="width:50%" />
57 
  <p>
 60 
  <p>
- 
 
 61 
    WIMS needs a software
- 
 
 62 
    !set miss=!upper $missing_software
- 
 
 63 
    <span class="wims_warning">$miss</span>
- 
 
 64 
    to process your request, but that software is not available (or not visible
- 
 
 65 
    to WIMS) on this server.
- 
 
 66 
  </p><p>
58 
  You can either
 67 
    You can either
59 
  <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write
 68 
    <a href="mailto:$wims_site_manager?subject=$missing_software unavailable on WIMS">write
60 
  to the site manager</a> to inform him/her of the problem, or choose a
 69 
    to the site manager</a> to inform him/her of the problem, or choose a
61 
  mirror site from the table below.
 70 
    mirror site from the table below.
62 
  <a href="wims.cgi">WIMS homepage</a>.
 71 
  </p><p><a href="$refname">WIMS homepage</a>.</p>
63 
  !read mirror.phtml.en
 72 
  !read mirror.phtml.en
64 
  !goto end_html
 73 
  !goto end_html
65 
!endif
 74 
!endif
66 
 
 75 
 
67 
!if trapped iswordof $wims_user_error
 76 
!if trapped iswordof $wims_user_error
68 
  <h1 class="wims_center">Stop!</h1><hr/>
 77 
  <h1>Stop!</h1>
- 
 
 78 
  <hr />
- 
 
 79 
  The content of
- 
 
 80 
  <a href="http://$httpd_HTTP_HOST">$httpd_HTTP_HOST</a> can't be accessed with a
- 
 
 81 
  an offline website copier.
- 
 
 82 
  <p>
- 
 
 83 
    Please use a regular web browser.
- 
 
 84 
  </p><p>
- 
 
 85 
    WIMS pages are dynamically generated. It can only be used online.
- 
 
 86 
  </p>
- 
 
 87 
  !goto end_html
69 
!endif
 88 
!endif
70 
 
 89 
 
71 
<h1 class="wims_center">WIMS error</h1><hr/><p>
 90 
!if no_access notwordof $wims_user_error and no_access_class notwordof $wims_user_error
72 
!if no_access notwordof $wims_user_error
 91 
  <h1>WIMS error</h1>
- 
 
 92 
  <p>
73 
There is an error in your request to this WIMS site.<p>
 93 
    There is an error in your request to this WIMS site.
- 
 
 94 
  </p>
74 
!endif
 95 
!endif
75 
!if module_change iswordof $wims_user_error
 96 
!if module_change iswordof $wims_user_error
76 
 !if $wims_human_access=yes
 97 
  !if $wims_human_access=yes
- 
 
 98 
    <p>
77 
  Please avoid using the `Back' button of your browser,
 99 
      Please avoid using the `Back' button of your browser,
78 
  because you are on an interactive server.
 100 
      because you are on an interactive server.
- 
 
 101 
    </p>
79 
  <p class="wimscenter">
 102 
    <div class="wimscenter">
80 
  !set tit=!module title $module
 103 
    !set tit=!module title $module
81 
  !default tit=$module
 104 
    !default tit=$module
82 
  !href module=$module $tit
 105 
    !href module=$module $tit
83 
  &nbsp;&nbsp;&nbsp;
 106 
    &nbsp;
- 
 
 107 
    !set wims_ref_class=wims_button
84 
  !href $ WIMS home
 108 
    !href $ WIMS home
85 
  !if $httpd_HTTP_REFERER!=$empty
 109 
    !if $httpd_HTTP_REFERER!=$empty
86 
   &nbsp;&nbsp;&nbsp;<a href="$httpd_HTTP_REFERER">Exit WIMS</a>
 110 
      &nbsp;<a href="$httpd_HTTP_REFERER">Exit WIMS</a>
87 
  !else
 111 
    !else
88 
   </p><p>
 112 
      <p class="small">
89 
   <small>If you want to get out of the site, ignore this message and continue
 113 
        If you want to get out of the site, ignore this message and continue
90 
   to click on `Back'.</small>
 114 
        to click on `Back'.
- 
 
 115 
      </p>
- 
 
 116 
    !endif
- 
 
 117 
    </div>
- 
 
 118 
    !goto end_html
- 
 
 119 
  !endif
- 
 
 120 
  <p>
- 
 
 121 
    You have asked an illegal module change.
- 
 
 122 
    Are you using an automatic program to access this site?
- 
 
 123 
  </p>
- 
 
 124 
  :unblock
- 
 
 125 
  !form new
- 
 
 126 
  <input type="hidden" name="module" value="home" />
- 
 
 127 
  <input type="hidden" name="deblockparm" value="$[randint(10000000)+1000000]" />
- 
 
 128 
  If you have simply clicked on the `back' button of your browser,
- 
 
 129 
  please type the word `wims' here:
- 
 
 130 
  <input size="8" name="special_parm" /> then
- 
 
 131 
  <input type="submit" value="send to the server" />.
- 
 
 132 
  !formend
- 
 
 133 
  <p>
- 
 
 134 
    Please bear in mind that pages on this site are dynamically generated.
- 
 
 135 
    They can therefore only be used online,
- 
 
 136 
    via a normal browser. It is useless for you to gather these pages
- 
 
 137 
    using a robot program.
- 
 
 138 
  </p>
- 
 
 139 
  !if robot_doubt iswordof $wims_user_error
- 
 
 140 
    <p class="small">
- 
 
 141 
      And beware that people trying to hacker on
- 
 
 142 
      this site will see their accesses definitely denied.
- 
 
 143 
    </p>
91 
  !endif
 144 
  !endif
92 
  !goto end_html
 145 
  !goto end_html
93 
 !endif
 - 
 
94 
 You have asked an illegal module change.
 - 
 
95 
 Are you using an automatic program to access this site?
 - 
 
96 
 :unblock
 - 
 
97 
 !form new
 - 
 
98 
 <input type="hidden" name="module" value="home"/>
 - 
 
99 
 <input type="hidden" name="deblockparm" value="$[randint(10000000)+1000000]"/>
 - 
 
100 
 If you have simply clicked on the `back' button of your browser,
 - 
 
101 
 please type the word `wims' here:
 - 
 
102 
 <input size="8" name="special_parm"/> then
 - 
 
103 
 <input type="submit" value="send to the server"/>.</form>
 - 
 
104 
 <p>
 - 
 
105 
 Please bear in mind that pages on this site are dynamically generated.
 - 
 
106 
 They can therefore only be used online,
 - 
 
107 
 via a normal browser. It is useless for you to gather these pages
 - 
 
108 
 using a robot program.
 - 
 
109 
 !if robot_doubt iswordof $wims_user_error
 - 
 
110 
  <small>And beware that people trying to hacker on
 - 
 
111 
  this site will see their accesses definitely denied.</small>
 - 
 
112 
 !endif
 - 
 
113 
 !goto end_html
 - 
 
114 
!endif
 146 
!endif
115 
 
 147 
 
116 
!if robot_doubt iswordof $wims_user_error
 148 
!if robot_doubt iswordof $wims_user_error
- 
 
 149 
  <p>
117 
 We block further access to this site for you, because you are suspected
 150 
    We block further access to this site for you, because you are suspected
118 
 of using an automatic program to gather pages.
 151 
    of using an automatic program to gather pages.
- 
 
 152 
  </p>
119 
 !goto unblock
 153 
  !goto unblock
120 
!endif
 154 
!endif
121 
 
 155 
 
122 
!if allow_violation iswordof $wims_user_error
 156 
!if allow_violation iswordof $wims_user_error
- 
 
 157 
  <p>
123 
  You don't have the right to define the variable ``$wims_error_data''
 158 
    You don't have the right to define the variable ``$wims_error_data''
124 
  with the command ``$cmd''.
 159 
    with the command ``$cmd''.
125 
  !goto end
 160 
  </p>
126 
!endif
 161 
!endif
127 
 
 162 
 
128 
!if bad_command iswordof $wims_user_error
 163 
!if bad_command iswordof $wims_user_error
- 
 
 164 
  <p>
129 
  The command ``$cmd'' is not valid.
 165 
  The command ``$cmd'' is not valid.
- 
 
 166 
  </p><p>
130 
  <p> Valid commands are: <pre>
 167 
  Valid commands are:
- 
 
 168 
  </p>
131 
  new, renew, reply, hint, config </pre>
 169 
  <pre>new, renew, reply, help, hint, config</pre>
132 
!endif
 170 
!endif
133 
 
 171 
 
134 
!if bad_host iswordof $wims_user_error
 172 
!if bad_host iswordof $wims_user_error
- 
 
 173 
  <p>
135 
  You have tried to access a session from another post. This is not allowed
 174 
    You have tried to access a session from another post. This is not allowed
136 
  for your virtual class.
 175 
    for your virtual class.
137 
  <p>
 176 
  </p><p>
138 
  Unfortunately, some internet providers give you dynamic host addresses
 177 
    Unfortunately, some internet providers give you dynamic host addresses
139 
  which MAY change within one connection. If this is the case, please write
 178 
    which MAY change within one connection. If this is the case, please write
140 
  to the supervisor of your class asking him/her to change the access lock
 179 
    to the supervisor of your class asking him/her to change the access lock
141 
  policy.
 180 
    policy.
142 
  !goto end
 181 
  </p>
143 
!endif
 182 
!endif
144 
 
 183 
 
145 
!if need_https iswordof $wims_user_error
 184 
!if need_https iswordof $wims_user_error
146 
 You should connect to your class via a https request.
 185 
  You should connect to your class via a https request.
147 
 !set refname=!replace http:// by https:// in $wims_ref_name
 186 
  !set refname=!replace http:// by https:// in $wims_ref_name
148 
 <a href="$refname?session=$wims_session&module=home&cmd=new">Try it</a>.
 187 
  <a href="$refname?session=$wims_session&module=home&cmd=new">Try it</a>.
149 
 !goto end_html
 188 
  !goto end_html
150 
!endif
 189 
!endif
151 
 
 190 
 
152 
!if bad_insnum iswordof $wims_user_error
 191 
!if bad_insnum iswordof $wims_user_error
- 
 
 192 
  <p>
153 
 !if $cmd=getfile
 193 
  !if $cmd=getfile
154 
  The file you asked for does not exist.
 194 
    The file you asked for does not exist.
155 
 !else
 195 
  !else
156 
  The file name for dynamic insertion is not valid.
 196 
    The file name for dynamic insertion is not valid.
157 
 !endif
 197 
  !endif
158 
 !goto end
 198 
  </p>
159 
!endif
 199 
!endif
160 
 
 200 
 
161 
!if cmd_output_too_long iswordof $wims_user_error
 201 
!if cmd_output_too_long iswordof $wims_user_error
- 
 
 202 
  <p>
162 
  The intermediate result of the computation has exceeded the length limit.
 203 
    The intermediate result of the computation has exceeded the length limit.
163 
  You have probably submitted a request which is unrealistically complicated.
 204 
    You have probably submitted a request which is unrealistically complicated.
164 
  Simplify your request, please.
 205 
    Simplify your request, please.
165 
  !goto end
 206 
  </p>
166 
!endif
 207 
!endif
167 
 
 208 
 
168 
!if double_click iswordof $wims_user_error
 209 
!if double_click iswordof $wims_user_error
- 
 
 210 
  <p>
169 
 This request arrived while the process of another request from you is
 211 
    This request arrived while the process of another request from you is
170 
 still under way.<p>
 212 
    still under way.
- 
 
 213 
  </p><p>
171 
 If you have been double clicking, now please wait
 214 
    If you have been double clicking, now please wait
172 
 <span class="wims_warning">$wims_cpu_limit seconds</span>
 215 
    <span class="wims_warning">$wims_cpu_limit seconds</span>
173 
 for the process of your old request to terminate, then
 216 
    for the process of your old request to terminate, then
174 
 !href cmd=resume click here
 217 
    !href cmd=resume click here
175 
 to get back to your work. (And please be more patient the next time
 218 
    to get back to your work. (And please be more patient the next time
176 
 you ask wims to do lengthy computations.)
 219 
    you ask wims to do lengthy computations.)
177 
 <p>
 220 
  </p><p>
178 
 If you are using ``back'' button of your browser to get out of wims, you
 221 
    If you are using ``back'' button of your browser to get out of wims, you
179 
 may ignore this message and go ahead.
 222 
    may ignore this message and go ahead.
- 
 
 223 
  </p>
180 
 !goto end_html
 224 
  !goto end_html
181 
!endif
 225 
!endif
182 
 
 226 
 
183 
!if invalid_char_in_query_string iswordof $wims_user_error
 227 
!if invalid_char_in_query_string iswordof $wims_user_error
- 
 
 228 
  <p>
184 
  The substitution ``$wims_error_data'' in the parameter string is illegal.
 229 
    The substitution ``$wims_error_data'' in the parameter string is illegal.
185 
  !goto end
 230 
  </p>
186 
!endif
 231 
!endif
187 
 
 232 
 
188 
!if name_conflict iswordof $wims_user_error
 233 
!if name_conflict iswordof $wims_user_error
- 
 
 234 
  <p>
189 
  ``$wims_error_data'' is a reserved name for wims.
 235 
  ``$wims_error_data'' is a reserved name for wims.
190 
  !goto end
 236 
  </p>
191 
!endif
 237 
!endif
192 
 
 238 
 
193 
!if no_command iswordof $wims_user_error
 239 
!if no_command iswordof $wims_user_error
- 
 
 240 
  <p>
194 
  There is no command.
 241 
    There is no command.
195 
  !goto end
 242 
  </p>
196 
!endif
 243 
!endif
197 
 
 244 
 
198 
!if no_insnum iswordof $wims_user_error
 245 
!if no_insnum iswordof $wims_user_error
- 
 
 246 
  <p>
199 
 !if $cmd=getfile
 247 
  !if $cmd=getfile
200 
  You have asked for a file without giving its name.
 248 
    You have asked for a file without giving its name.
201 
 !else
 249 
  !else
202 
  You have asked for a dynamic insertion without giving its number.
 250 
    You have asked for a dynamic insertion without giving its number.
203 
 !endif
 251 
  !endif
204 
 !goto end
 - 
 
205 
!endif
 252 
  </p>
206 
 
 - 
 
207 
!if no_module_name iswordof $wims_user_error
 - 
 
208 
  You have asked a new session without module name.
 - 
 
209 
  !goto end
 - 
 
210 
!endif
 253 
!endif
211 
 
 254 
 
- 
 
 255 
!if no_module_name iswordof $wims_user_error
- 
 
 256 
  <p>
- 
 
 257 
    You have asked a new session without module name.
- 
 
 258 
  </p>
- 
 
 259 
!endif
- 
 
 260 
 
212 
!if no_session iswordof $wims_user_error
 261 
!if no_session iswordof $wims_user_error
- 
 
 262 
  <p>
213 
  The session number is missing.
 263 
    The session number is missing.
214 
  !goto end
 264 
  </p>
215 
!endif
 265 
!endif
216 
 
 266 
 
217 
!if parm_too_long iswordof $wims_user_error
 267 
!if parm_too_long iswordof $wims_user_error
- 
 
 268 
  <p>
218 
  Your parameter string has exceeded length limit. This is not allowed by
 269 
    Your parameter string has exceeded length limit. This is not allowed by
219 
  security reasons, sorry.
 270 
    security reasons. Sorry.
220 
  !goto end
 271 
  </p>
221 
!endif
 272 
!endif
222 
 
 273 
 
223 
!if string_too_long iswordof $wims_user_error
 274 
!if string_too_long iswordof $wims_user_error
- 
 
 275 
  <p>
224 
  The definition of variable has a length which exceeds the limit.
 276 
    The definition of variable has a length which exceeds the limit.
225 
  !goto end
 277 
  </p>
226 
!endif
 278 
!endif
227 
 
 279 
 
228 
!if too_many_variables iswordof $wims_user_error
 280 
!if too_many_variables iswordof $wims_user_error
- 
 
 281 
  <p>
229 
  The number of parameters which you transmitted has exceeded the limit
 282 
    The number of parameters which you transmitted has exceeded the limit
230 
  authorized in this wims site.
 283 
    authorized in this wims site.
231 
  !goto end
 284 
  </p>
232 
!endif
 285 
!endif
233 
 
 286 
 
234 
!if unmatched_parentheses iswordof $wims_user_error
 287 
!if unmatched_parentheses iswordof $wims_user_error
- 
 
 288 
  <p>
235 
  We have detected unmatched parentheses in your request. You may correct the
 289 
    We have detected unmatched parentheses in your request.
236 
  error here:
 290 
    You may correct the error here:
- 
 
 291 
  </p>
237 
  !form $cmd
 292 
  !form $cmd
238 
  $(name$bad_parentheses) =
 - 
 
239 
  !for i in module,special_parm,worksheet
 293 
  !for i in module,special_parm,worksheet
240 
   !if $($i)!=$empty
 294 
    !if $($i)!=$empty
241 
    !set value=!translate " to $ $ in $($i)
 295 
      !set value=!translate " to $ $ in $($i)
242 
    <input type=hidden name=$i value="$value"/>
 296 
      <input type="hidden" name="$i" value="$value" />
243 
   !endif
 297 
    !endif
244 
  !next i
 298 
  !next i
245 
  !for i=0 to $user_var_no-1
 299 
  !for i=0 to $user_var_no-1
246 
   !if $i!=$bad_parentheses
 300 
    !if $i!=$bad_parentheses
247 
    !set value=!translate " to $ $ in $(value$i)
 301 
      !set value=!translate " to $ $ in $(value$i)
248 
    <input type="hidden" name="$(name$i)" value="$value"/>
 302 
      <input type="hidden" name="$(name$i)" value="$value" />
249 
   !endif
 303 
    !endif
250 
  !next i
 304 
  !next i
251 
  !set value=!translate " to $ $ in $(value$bad_parentheses)
 305 
  !set value=!translate " to $ $ in $(value$bad_parentheses)
252 
  !set len=!charcnt $value
 306 
  !set len=!charcnt $value
253 
  !set n=!linecnt $value
 - 
 
254 
  !if $n<=1
 - 
 
255 
   !if $len<55
 307 
  !if $len<55
256 
    !set len=$[$len+3]
 308 
    !set len=$[$len+3]
257 
   !else
 - 
 
258 
    !set len=59
 - 
 
259 
   !endif
 - 
 
260 
   <input size="$len" name="$(name$bad_parentheses)" value="$value"/><p>
 - 
 
261 
  !else
 309 
  !else
262 
   !if $n>10
 - 
 
263 
    !set n=10
 310 
    !set len=59
264 
   !endif
 - 
 
265 
   <textarea rows="$n" cols="50" name="$(name$bad_parentheses)">$value</textarea>
 - 
 
266 
   <p>
 - 
 
267 
  !endif
 311 
  !endif
- 
 
 312 
  !set input_id=$(name$bad_parentheses)
- 
 
 313 
  <div class="field box">
- 
 
 314 
    <label for="$input_id">$input_id =</label>
- 
 
 315 
    !set n=!linecnt $value
- 
 
 316 
    !if $n<=1
- 
 
 317 
      <input size="$len" name="$input_id" id="$input_id" value="$value" />
- 
 
 318 
    !else
- 
 
 319 
      <textarea rows="$n" name="$input_id" id="$input_id">$(value$bad_parentheses)</textarea>
268 
  Then
 320 
    !endif
- 
 
 321 
  </div>
- 
 
 322 
  <p class="actions">
- 
 
 323 
    Puis
269 
  <input type="submit" value="send the corrected request."/>
 324 
    <input type="submit" value="envoyer la requête corrigée." />
- 
 
 325 
  </p>
- 
 
 326 
  !formend
- 
 
 327 
  <hr />
270 
  </form><p><hr/><div class="wimscenter">
 328 
  <p class="wimscenter">
271 
  !href cmd=resume Cancel the last request
 329 
    !href cmd=resume Cancel the last request
272 
, or
 330 
    |
273 
  !href $ wims home
 331 
    !href $ wims home
274 
.</div>
 332 
  </p>
275 
  !goto end_html
 333 
  !goto end_html
276 
!endif
 334 
!endif
277 
 
 335 
 
278 
!if wrong_module iswordof $wims_user_error
 336 
!if wrong_module iswordof $wims_user_error
279 
  !set tmp=!translate "!/<>;': to $         $ in $module
 337 
  !set tmp=!translate "!/<>;': to $         $ in $module
- 
 
 338 
  <p>
280 
  <p>The module <code>$tmp</code> which you asked for does not exist in this site.</p>
 339 
    The module <code>$tmp</code> which you asked for does not exist in this site.
281 
  !goto end
 340 
  </p>
282 
!endif
 341 
!endif
283 
 
 342 
 
284 
!if wrong_session iswordof $wims_user_error
 343 
!if wrong_session iswordof $wims_user_error
- 
 
 344 
  <p>
285 
  The session number ``$session'' is not (or no longer) valid.
 345 
    The session number ``$session'' is not (or no longer) valid.
286 
  <a href="wims.cgi">Create a new session</a>.
 346 
    <a href="$refname">Create a new session</a>.
287 
  !goto end
 347 
  </p>
288 
!endif
 348 
!endif
289 
 
 349 
 
290 
!if rafale iswordof $wims_user_error
 350 
!if rafale iswordof $wims_user_error
291 
 Please don't play with the exercises!
 351 
  <p>Please don't play with the exercises!</p>
292 
 <p>
 352 
  <p>
293 
 You should take time to think carefully and try to solve the exercises
 353 
    You should take time to think carefully and try to solve the exercises
294 
 correctly, instead of ask new ones over and over again.
 354 
    correctly, instead of ask new ones over and over again.
- 
 
 355 
  </p>
- 
 
 356 
  !set wims_ref_class=wims_button
295 
 !href cmd=resume Cancel the last request
 357 
  !href cmd=resume Cancel last request
296 
.
 358 
.
297 
 !if $wims_user!=$empty and $wims_user!=supervisor
 359 
  !if $wims_user!=$empty and $wims_user!=supervisor
- 
 
 360 
    <p>
298 
  <p><span class="wims_warning">$wims_name_warning.</span>! Don't repeat this error!
 361 
      <span class="wims_warning">$wims_name_warning.</span>! Don't repeat this error!
299 
  Irregular activities may give you bad scores even when score registration is
 362 
      Irregular activities may give you bad scores even when score registration is
300 
  closed.
 363 
      closed.
- 
 
 364 
    </p>
301 
 !endif
 365 
  !endif
302 
 !goto end2
 366 
  !goto end2
303 
!endif
 367 
!endif
304 
 
 368 
 
305 
:examerr
 369 
:examerr
306 
 
 370 
 
307 
!if exam_dep iswordof $wims_user_error
 371 
!if exam_dep iswordof $wims_user_error
308 
  This exercise is available only when you have successfully made
 372 
  <p>This exercise is available only when you have successfully made
309 
  !if , isin $dep_list
 373 
  !if , isin $dep_list
310 
   exercises $dep_list.
 374 
    exercises $dep_list.
311 
  !else
 375 
  !else
312 
   exercise $dep_list.
 376 
    exercise $dep_list.
313 
  !endif
 377 
  !endif
- 
 
 378 
  </p><p>
314 
  Please first try to do the latter.
 379 
  Please first try to do the latter.
- 
 
 380 
  </p>
315 
  !goto examend
 381 
  !goto examend
316 
!endif
 382 
!endif
317 
 
 383 
 
318 
!if bad_exam iswordof $wims_user_error
 384 
!if bad_exam iswordof $wims_user_error
319 
  You have issued an illegal request within an examination session.
 385 
  <p>You have issued an illegal request within an examination session.</p>
320 
  !goto examend
 386 
  !goto examend
321 
!endif
 387 
!endif
322 
 
 388 
 
323 
!if exam_exo_finished iswordof $wims_user_error
 389 
!if exam_exo_finished iswordof $wims_user_error
324 
  You have already done this exercise with a score of $wims_exo_lastscore.
 390 
  You have already done this exercise with a score of $wims_exo_lastscore.
325 
  You cannot do it again because this is an examination.
 391 
  You cannot do it again because this is an examination.
326 
  !goto examend
 392 
  !goto examend
327 
!endif
 393 
!endif
328 
 
 394 
 
329 
!if expired_exam iswordof $wims_user_error
 395 
!if expired_exam iswordof $wims_user_error
330 
  You have no more time left to work on this exam.
 396 
  <p>You have no more time left to work on this exam.</p>
331 
  :examend
 397 
  :examend
332 
  !set pses=!translate _ to , in $wims_session
 398 
  !set pses=!translate _ to , in $wims_session
333 
  !set pses=!item 1 of $pses
 399 
  !set pses=!item 1 of $pses
334 
  !set pser=!randint 1,999
 400 
  !set pser=!randint 1,999
335 
  !set wims_opener=window.opener.location='$wims_ref_name?session=$pses.$pser&cmd=reply&job=student';
 401 
  !set wims_opener=window.opener.location='$wims_ref_name?session=$pses.$pser&cmd=reply&job=student';
336 
  <p class="wimscenter">
 402 
  <p class="wimscenter">
337 
  <a href=# onclick="window.close();$wims_opener">Close this window</a>.
 403 
    <a href="#" onclick="window.close();$wims_opener">Close this window</a>.
338 
  </p>
 404 
  </p>
339 
  !goto end_html
 405 
  !goto end_html
340 
!endif
 406 
!endif
341 
 
 407 
 
342 
!if exam_closed iswordof $wims_user_error
 408 
!if exam_closed iswordof $wims_user_error
- 
 
 409 
  <p>
343 
  This exam is not accessible for your connection at the time being. Please verify
 410 
  This exam is not accessible for your connection at the time being. Please verify
344 
  with the supervisor of your class.
 411 
  with the supervisor of your class.
- 
 
 412 
  </p>
345 
  !goto examend
 413 
  !goto examend
346 
!endif
 414 
!endif
347 
 
 415 
 
348 
!if bad_ident iswordof $wims_user_error
 416 
!if bad_ident iswordof $wims_user_error
349 
  Your request contains a user identification error. Are you trying to connect
 417 
  <p>Your request contains a user identification error.</p>
350 
  to somebody else's session?
 418 
  <p>Are you trying to connect to somebody else's session?
351 
  <p>
 419 
  </p><p>
352 
  Please
 420 
    Please
353 
  <a href="wims.cgi?special_parm=ignorecookie&special_parm2=$[randint(10^8)]">make a new connection</a>.
 421 
    <a href="$refname?special_parm=ignorecookie&special_parm2=$[randint(10^8)]">make a new connection</a>.
- 
 
 422 
  </p>
354 
  !goto end_html
 423 
  !goto end_html
355 
!endif
 424 
!endif
356 
 
 425 
 
357 
!if no_access iswordof $wims_user_error
 426 
!if no_access iswordof $wims_user_error
- 
 
 427 
  <div class="wims_msg warning">
358 
  Your request is refused by the access policy of this site. Sorry.
 428 
    Your request is refused by the access policy of this site. Sorry.
- 
 
 429 
    </div>
- 
 
 430 
  !goto end2
- 
 
 431 
!endif
- 
 
 432 
 
- 
 
 433 
!if no_access_class iswordof $wims_user_error
- 
 
 434 
  <h2>Fermeture des activités de la classe</h2>
- 
 
 435 
  <div class="wims_msg warning">
- 
 
 436 
    L'accès aux activités de cette classe virtuelle est provisoirement fermé par l'enseignant.
- 
 
 437 
    Revenez plus tard.
- 
 
 438 
  </div>
359 
  !goto end2
 439 
  !goto end2
360 
!endif
 440 
!endif
361 
 
 441 
 
362 
!if class_closed iswordof $wims_user_error
 442 
!if class_closed iswordof $wims_user_error
363 
  Sorry.
 443 
   <h2>Sorry. </h2>
364 
  <p>
 444 
  <p>
365 
  Access to this virtual class is temporarily closed by its supervisor.
 445 
    Access to this virtual class is temporarily closed by its supervisor.
366 
  Come back later!
 446 
    Come back later!
367 
  <div class="wimscenter">
 447 
  </p><p class="wimscenter">
368 
  !href cmd=close&module=home WIMS
 448 
    !href cmd=close&module=home WIMS
369 
  </div>
 449 
  </p>
370 
  !goto end_html
 450 
  !goto end_html
371 
!endif
 451 
!endif
372 
 
 452 
 
373 
:end
 453 
:end
- 
 
 454 
<p>
374 
<p>If you see this message after following a link given by another page, it
 455 
  If you see this message after following a link given by another page, it
375 
probably is because the link is not well-prepared. In this case, please
 456 
  probably is because the link is not well-prepared. In this case, please
376 
contact the author of that page, to inform him of the error. You may also
 457 
  contact the author of that page, to inform him of the error.
- 
 
 458 
</p><p>
- 
 
 459 
  You may also
377 
write to the
 460 
  write to the
378 
<a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this
 461 
  <a href="mailto:$wims_site_manager?subject=wims.cgi">manager of this
379 
site</a>, with as many details as possible about the circomstances
 462 
  site</a>, with as many details as possible about the circomstances
380 
under which the error has occurred.
 463 
  under which the error has occurred.
- 
 
 464 
</p>
381 
 
 465 
 
382 
:end2
 466 
:end2
- 
 
 467 
 
383 
<hr/><div class="wimscenter">
 468 
<div class="wimscenter">
384 
  !set wims_ref_class=wims_button
 469 
  !set wims_ref_class=wims_button home
385 
  !href module=home&cmd=new Home page
 470 
  !href module=home&cmd=new WIMS Home Page
386 
</div>
 471 
</div>
387 
 
 472 
 
388 
:end_html
 473 
:end_html
389 
</body></html>
 474 
</body></html>