Edited config.py and thememapper.py. Cast port to int before starting server.