server.py: __del__ doesn't work.