Currently we run on port 8000 which is a popular port for many little web servers. We want to keep this as the default but allow users to specify a different port in case it conflicts with something on their system. vector-web-setup serve --port 8888 should allow a user to do that.
Currently we run on port 8000 which is a popular port for many little web servers. We want to keep this as the default but allow users to specify a different port in case it conflicts with something on their system.
vector-web-setup serve --port 8888
should allow a user to do that.