pico
pico copied to clipboard
Added server_port (server_ip:server_port) to cmdline args of dev server.
Hi Fergal, I added dev server port on cmdline as you asked.