[tor-commits] [obfs-flash/master] Set TOR_PT_EXTENDED_SERVER_PORT= for websocket-server.