diff options
| author | gjoranv <gv@verizonmedia.com> | 2019-12-04 13:52:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-04 13:52:15 +0100 |
| commit | f994bcc1ad620009c3853d125dd32c301f6d046a (patch) | |
| tree | 42949f451de961c4b5fee96d1b6f2376b25bb4f4 /container-disc/src/main | |
| parent | 70e4449234b241ab9011b20abdf8b1829d2a5cab (diff) | |
| parent | 00e5f5dc54831c5d40e994d75b8fd6b09e404ad0 (diff) | |
Merge pull request #11491 from vespa-engine/hmusum/remove-unused-config-definition
Remove unused config definition
Diffstat (limited to 'container-disc/src/main')
| -rw-r--r-- | container-disc/src/main/resources/configdefinitions/score-board.def | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/container-disc/src/main/resources/configdefinitions/score-board.def b/container-disc/src/main/resources/configdefinitions/score-board.def deleted file mode 100644 index 478db8de253..00000000000 --- a/container-disc/src/main/resources/configdefinitions/score-board.def +++ /dev/null @@ -1,9 +0,0 @@ -# Copyright 2017 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. -namespace=jdisc.metrics.yamasconsumer.cloud - -applicationName string default="JDisc" -step int default=10 # in seconds -flushTime int default=10 # in seconds -histogram[].metric string default="" -histogram[].flags int default=0 -histogram[].buckets[] double |