public interface ConfigSource
Modifier and Type | Method and Description |
---|---|
RawArgs |
getArgs()
The list of Arguments for this ConfigSource
|
java.lang.String |
getId()
The identifier for this source.
|
java.lang.String |
getProperty(java.lang.String key)
Return the value of the specified property.
|
Props |
getProps()
The properties for this ConfigSource
|
default java.util.Set<StartIni> |
getStartInis() |
int |
getWeight()
The weight of this source, used for proper ordering of the config source search order.
|
java.lang.String getId()
Used in end-user display of the source.
int getWeight()
Recommended Weights:
-1 = the command line 0 = the ${jetty.base} source [1..n] = include-jetty-dir entries from command line [n+1..n] = include-jetty-dir entries from start.ini (or start.d/*.ini) 9999999 = the ${jetty.home} source
RawArgs getArgs()
Props getProps()
java.lang.String getProperty(java.lang.String key)
key
- the key to lookupdefault java.util.Set<StartIni> getStartInis()
Copyright © 1995–2023 Webtide. All rights reserved.