FYI, from now on, we can not update our webpages using Subversion on the shell server anymore; the website can only be updated using scp, sftp or rsync. See <http://sourceforge.net/community/forum/topic.php?id=3471&page >. Very annoying. Cheers, Max