Add python server function: server PORT_NUMBER. Default port: 8000.