Subversion Repositories wimsdev

Rev

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

Rev 3255 Rev 3422
Line 20... Line 20...
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 <tt>$download</tt> and update the
25 
server. <b><font color=red>$wims_name_warning</font></b> This will create
 25 
server. <b><font color="red">$wims_name_warning</font></b> This will create
26 
momentary unavailabilities of the server.
 26 
momentary unavailabilities of the server.
27 
<em>Don't update when the server is busy.</em>
 27 
<em>Don't update when the server is busy.</em>
28 
<p>
 28 
<p>
29 
<b>Note</b>. Updating the server will not disturb your local resources on it
 29 
<b>Note</b>. Updating the server will not disturb your local resources on it
30 
(classes, exercises, documents, modules under development).
 30 
(classes, exercises, documents, modules under development).
31 
<p>
 31 
<p>
32 
<b><font color=red>IMPORTANT</font></b> You must make a file permissions
 32 
<b><font color="red">IMPORTANT</font></b> You must make a file permissions
33 
check after the software update!
 33 
check after the software update!