public class WebServerOptions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
filename |
private static java.util.logging.Logger |
LOGGER |
private java.util.Properties |
props |
Constructor and Description |
---|
WebServerOptions(java.lang.String filename) |
Modifier and Type | Method and Description |
---|---|
int |
getIntOption(java.lang.String optname)
Return -1 if the option's value has not been set.
|
int |
getIntOptionNoUndef(java.lang.String optname) |
boolean |
getOption(java.lang.String optname) |
java.lang.String |
getStringOption(java.lang.String optname) |
void |
loadOptions() |
void |
removeOption(java.lang.String optname) |
void |
setOption(java.lang.String optname,
boolean value) |
void |
setOption(java.lang.String optname,
int value) |
void |
setOption(java.lang.String optname,
java.lang.String value) |
private static final java.util.logging.Logger LOGGER
private final java.util.Properties props
private final java.lang.String filename
public void loadOptions()
public void setOption(java.lang.String optname, java.lang.String value)
public void setOption(java.lang.String optname, boolean value)
public void setOption(java.lang.String optname, int value)
public java.lang.String getStringOption(java.lang.String optname)
public boolean getOption(java.lang.String optname)
public int getIntOption(java.lang.String optname)
public int getIntOptionNoUndef(java.lang.String optname)
public void removeOption(java.lang.String optname)