SERVER_getServerIntSetting

Description: Gets the integer value of a server setting.
Parameter:
Returns: