fixed bug in wsserver.py