server.py: do not autoclose