[minor] Bugfixes to server.py and new logging.py