Fix incorrect port of standard Python server

/ht @zpao