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