# File control/ControlPanel/ControlPanel.rb, line 27
  def port=(port)
    check_number(port) {|n| n >= 0 }
    @server_params['port'] = port.to_i
    port
  end