src/industry_cmd.cpp
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) {