Added EXT_PORTS fields to example_server.conf.