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.