public interface Server_properties
server.propertiesfile is a configuration file read by the Smart GWT server. It contains miscellaneous server settings - see the file itself for documentation and default or sample settings.
Note that this is a standard Java Properties file, except it allows variable substitution from other properties defined earlier in the file.
It's loaded from
CLASSPATH, so it can be anywhere in the
CLASSPATH, but is
typically either in the projects java "src" directory or in
Server side code can access and modify the properties specified in this file via the
server.properties developers should restart the servlet engine after changing this
file to pick up changes.
Note that the
Console tool provides an interface for adding database configuration blocks to
server.properties without the need to edit the file by hand.