src/industry_cmd.cpp
changeset 7916 8bc57ab02de6
parent 7897 222641b84fc4
child 7941 ddf9d11e6df8
equal deleted inserted replaced
7915:8b20c0c2debf 7916:8bc57ab02de6
   128 	return its;
   128 	return its;
   129 }
   129 }
   130 
   130 
   131 Industry::~Industry()
   131 Industry::~Industry()
   132 {
   132 {
       
   133 	if (CleaningPool()) return;
       
   134 
   133 	/* Industry can also be destroyed when not fully initialized.
   135 	/* Industry can also be destroyed when not fully initialized.
   134 	 * This means that we do not have to clear tiles either. */
   136 	 * This means that we do not have to clear tiles either. */
   135 	if (this->width == 0) {
   137 	if (this->width == 0) {
   136 		this->xy = 0;
   138 		this->xy = 0;
   137 		return;
   139 		return;