K 10 svn:author V 5 marck K 8 svn:date V 27 2010-01-15T12:02:22.295895Z K 7 svn:log V 119 MFH r201051: To remove a server, one should use double backslash, and half of them are eaten by shell. Fix this. END