Revision f396ad8c lib/config.py

b/lib/config.py
1134 1134 
    """
1135 1135 
    if instance_name not in self._config_data.instances:
1136 1136 
      raise errors.ConfigurationError("Unknown instance '%s'" % instance_name)
1137 

  		





  
  1138
  
    
    # If a network port has been allocated to the instance,


  		





  
  1139
  
    
    # return it to the pool of free ports.


  		





  
  1140
  
    
    inst = self._config_data.instances[instance_name]


  		





  
  1141
  
    
    network_port = getattr(inst, "network_port", None)


  		





  
  1142
  
    
    if network_port is not None:


  		





  
  1143
  
    
      self._config_data.cluster.tcpudp_port_pool.add(network_port)


  		





  
  1144
  
    

  		





  1137
  1145
  
    
    del self._config_data.instances[instance_name]


  		





  1138
  1146
  
    
    self._config_data.cluster.serial_no += 1


  		





  1139
  1147
  
    
    self._WriteConfig()


  		












Also available in:
  Unified diff