2eea36f8d9
To remove a server, one should use double backslash, and half of them are eaten by shell. Fix this.
To remove a server, one should use double backslash, and half of them are eaten by shell. Fix this.