history: ignore duplicate entries
pythonserver may listen to custom port