# File lib_ctrl/rucy/control.rb, line 279
    def server_params
      params = @properties.params(*SERVER_PARAMS.keys)
      for name, default in SERVER_PARAMS
        if (params[name] == nil) then
          params[name] = default
        end
      end
      params
    end