Fix incorrect port of standard Python server

[gasi]

• Adds missing replacement pointed out in Fix incorrect port of standard Python server #236.
• Signed CLA.

/ht @zpao

[zpao]

Thanks a lot @gasi! For future reference, you can use git commit --amend to overwrite your previous commit and then git push -f to overwrite your branch. GitHub picks that up and updates the existing pull request. I don't mind this either, just thought I'd share!

[gasi]

@zpao Cool, I knew about git commit --amend and git push -f but wasn’t sure if GitHub would pick it up. Now I know ;)