changeset 7420 | 0e3afa8102f0 |
parent 7401 | 7a72cc2a1196 |
child 7445 | 4d96e6e94d88 |
--- a/src/industry_cmd.cpp Mon Aug 06 13:44:50 2007 +0000 +++ b/src/industry_cmd.cpp Mon Aug 06 14:08:25 2007 +0000 @@ -130,6 +130,8 @@ Industry::~Industry() { + if (CleaningPool()) return; + /* Industry can also be destroyed when not fully initialized. * This means that we do not have to clear tiles either. */ if (this->width == 0) {