Next:
SERVER_killPID
Up:
./inc/server.php
Previous:
SERVER_getServerIntSetting
Contents
SERVER_existsServerSetting
Description:
Checks, if a named server setting exists in the DB.
Parameter:
: var: Name of the setting.
Returns:
: True if the setting exists.
