Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ability to specify server port from cli #2239

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Add ability to specify server port from cli #2239

wants to merge 4 commits into from
+237 −24

Commits on Jul 31, 2024

  1. Add ability to specify a port number from cli for start and stop serv… 

    …er, instead of config or env vars
    just-an-engineer authored and just-an-engineer committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    3f7e105 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Added in config support for port

    just-an-engineer authored and just-an-engineer committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    3a25652 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Add a client cache to store most recently used port to use for future… 

    … operations (such as a compile request) without having to specify the non-default port every time
    just-an-engineer authored and just-an-engineer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f4cf2eb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'mozilla:main' into specify-server-port

    @just-an-engineer
    just-an-engineer authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f07dc9b View commit details
    Browse the repository at this point in the history