daml/daml-assistant/daml-helper
Moritz Kiefer 615f4e4bae
Support passing sandbox port via --sandbox-option --port (#9208)
--sandbox-port has caused confusion several times and cannot be
specified in daml.yaml which is a bit annoying. There isn’t really any
good reason not to support --sandbox-option --port since we can pick
up the port via the port file either way.

This change is fully backwards compatible.

changelog_begin

- [Daml Assistant] The sandbox port can now also be configured via
  `--sandbox-option=--port=12345` instead of `--sandbox-port`. Other
  tools like Navigator, the JSON API and Daml Script will pick up the
  modified port automatically.

changelog_end
2021-03-23 13:31:07 +01:00
..
src/DA/Daml/Helper Support passing sandbox port via --sandbox-option --port (#9208) 2021-03-23 13:31:07 +01:00
test/DA/Daml/Helper/Test Switch to GHC 8.10.3 (#8394) 2021-01-25 11:53:53 +00:00
test-data update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
BUILD.bazel update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00