Subversion Repositories wimsdev

Rev

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

Rev 5513 Rev 5978
Line 11... Line 11...
11 
  summary\
 11 
  summary\
12 
  Cliquez ici\
 12 
  Cliquez ici\
13 
into name_test,name_warning, name_mostrecent,name_mostrecent2,name_morerecent,\
 13 
into name_test,name_warning, name_mostrecent,name_mostrecent2,name_morerecent,\
14 
  name_output,name_summary,name_click
 14 
  name_output,name_summary,name_click
15
15
16 
!set name_sorry=!nosubst Sorry, we have failed to download the new WIMS version from <tt>$download</tt>. Please try again later.
 16 
!set name_sorry=!nosubst Sorry, we have failed to download the new WIMS version from <span class="tt">$download</span>. Please try again later.
17 
!set name_summary=!nosubst Summary of the last update: (Please send it to $wims_maintainer in case of error.)
 17 
!set name_summary=!nosubst Summary of the last update: (Please send it to $wims_maintainer in case of error.)
18 
!set name_detailed=!nosubst Detailed output of the last update: (Please send it to $wims_maintainer in case of error.)
 18 
!set name_detailed=!nosubst Detailed output of the last update: (Please send it to $wims_maintainer in case of error.)
19 
!set name_sorry2=!nosubst Sorry, the WIMS download site <tt>$download</tt> is unreachable.
 19 
!set name_sorry2=!nosubst Sorry, the WIMS download site <span class="tt">$download</span> is unreachable.
20 
!set name_version=!nosubst This WIMS site is currently under version $wims_version.
 20 
!set name_version=!nosubst This WIMS site is currently under version $wims_version.
21 
 
 21 
 
22 
!exit
 22 
!exit
23 
:update
 23 
:update
24 
to download WIMS $pubversion from <tt>$download</tt> and update the
 24 
to download WIMS $pubversion from <span class="tt">$download</span> and update the
25 
server. <span class="wims_warning">$wims_name_warning</span>. This will create
 25 
server. <span class="wims_warning">$wims_name_warning</span>. This will create
26 
momentary unavailabilities of the server.
 26 
momentary unavailabilities of the server.
27 
<em>Do not update when the server is busy.</em>
 27 
<em>Do not update when the server is busy.</em>
28 
<p>
 28 
<p>
29 
<b>Note</b>. Updating the server will not disturb your local teaching materials on it
 29 
<b>Note</b>. Updating the server will not disturb your local teaching materials on it
30 
(classes, exercises, documents, modules under development).
 30 
(classes, exercises, documents, modules under development).
31 
<p>
 31 
</p><p>
32 
<span class="wims_warning">IMPORTANT</span>. You must make a file permissions
 32 
<span class="wims_warning">IMPORTANT</span>. You must make a file permissions
33 
check after the software update!
 33 
check after the software update!
- 
 
 34 
</p>