with python server