sanitize server in interface.py (fix bug #309)