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.

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

Make the server port configurable #2264

Merged
merged 3 commits into from
Nov 1, 2022
Merged

Conversation

shonfeder
Copy link
Contributor

@shonfeder shonfeder commented Oct 31, 2022

  • Adds server section to our configuration enabling configuration of
    server settings via config file.
  • Adds a corresponding Server OptionGroup to validate config values.
  • Adds a port CLI argument, to allow supplying the port at time of
    command invocation.
  • Adds an RpcServer class so that the port can be configured when
    the class is instantiated.

  • Tests added for any new code
  • Ran make fmt-fix (or had formatting run automatically on all files edited)
  • Documentation added for any new functionality
  • Entries added to ./unreleased/ for any new functionality

@shonfeder shonfeder requested review from thpani and Kukovec and removed request for thpani October 31, 2022 20:39
- Adds `server` section to our configuration enabling configuration of
  server settings via config file.
- Adds a corresponding `Server` `OptionGroup` to validate config values.
- Adds a `port` CLI argument, to allow supplying the port at time of
  command invocation.
- Adds an `RpcServer` class so that the port can be configured when
  the class is instantiated.
@codecov-commenter
Copy link

codecov-commenter commented Nov 1, 2022

Codecov Report

Merging #2264 (e357bd1) into main (4dbe758) will decrease coverage by 0.06%.
The diff coverage is 17.64%.

@@            Coverage Diff             @@
##             main    #2264      +/-   ##
==========================================
- Coverage   78.46%   78.40%   -0.07%     
==========================================
  Files         433      433              
  Lines       14641    14655      +14     
  Branches     2055     2040      -15     
==========================================
+ Hits        11488    11490       +2     
- Misses       3153     3165      +12     
Impacted Files Coverage Δ
...ala/at/forsyte/apalache/infra/passes/options.scala 46.35% <0.00%> (-1.92%) ⬇️
...t/forsyte/apalache/tla/tooling/opt/ServerCmd.scala 0.00% <0.00%> (ø)
.../scala/at/forsyte/apalache/shai/v1/RpcServer.scala 85.71% <100.00%> (+19.04%) ⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

Copy link
Collaborator

@bugarela bugarela left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@shonfeder shonfeder merged commit 20b0c4f into main Nov 1, 2022
@shonfeder shonfeder deleted the shai/make-port-configurable branch November 1, 2022 13:22
@shonfeder shonfeder restored the shai/make-port-configurable branch November 1, 2022 16:51
@shonfeder shonfeder deleted the shai/make-port-configurable branch November 1, 2022 20:41
@apalache-bot apalache-bot mentioned this pull request Nov 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants