public interface Server_properties
server.properties fileserver.properties file 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
the CLASSPATH, so it can be anywhere in the CLASSPATH, but is
typically either in the projects java "src" directory or in WEB-INF/classes.
Server side code can access and modify the properties specified in this file via the
com.isomorphic.base.Config class.
When modifying
server.properties developers should restart the servlet engine after changing this
file to pick up changes.
Note that the Admin
Console tool provides an interface for adding database configuration blocks to
server.properties without the need to edit the file by hand.