Added properties for server.py