diff options
| author | Jakob Odersky <jakob@driver.xyz> | 2018-09-03 23:40:35 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@driver.xyz> | 2018-09-12 14:17:39 -0700 |
| commit | 9c36ff4f9e43857e2f73ebadad9942d85017e5c0 (patch) | |
| tree | 2dffe5ec8ce2c17a63db528827db671447ce8feb /src/main/resources/reference.conf | |
| parent | adb943605e6e41d10d7b6984b515a13b7ad84de7 (diff) | |
| download | driver-core-9c36ff4f9e43857e2f73ebadad9942d85017e5c0.tar.gz driver-core-9c36ff4f9e43857e2f73ebadad9942d85017e5c0.tar.bz2 driver-core-9c36ff4f9e43857e2f73ebadad9942d85017e5c0.zip | |
Move platform back into init and use a configurable DNS discovery
Diffstat (limited to 'src/main/resources/reference.conf')
| -rw-r--r-- | src/main/resources/reference.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/resources/reference.conf b/src/main/resources/reference.conf index 608262a..01dba3c 100644 --- a/src/main/resources/reference.conf +++ b/src/main/resources/reference.conf @@ -19,6 +19,11 @@ application { ] } +services.dev-overrides = [ + // {"service1": "http://localhost:8080"}, + // {"service2": "https://stable.sand.driver.network"} +] + # Settings about the auto-generated REST API documentation. swagger { |