Searched defs:web_port (Results 1 – 3 of 3) sorted by relevance
146 let web_port = self.run_web_server(); in run() localVariable
138 int web_port; /* our port that others get xml files from */ member
530 web_port: u16, field