← Back to team overview

widelands-dev team mailing list archive

[Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

 

Hans Joachim Desserud has proposed merging lp:~hjd/widelands/prodsite-null into lp:widelands.

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538

Found by scan-build. I believe this should fix the issue.
-- 
https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538
Your team Widelands Developers is requested to review the proposed merge of lp:~hjd/widelands/prodsite-null into lp:widelands.
=== modified file 'src/wui/productionsitewindow.cc'
--- src/wui/productionsitewindow.cc	2013-07-16 10:17:53 +0000
+++ src/wui/productionsitewindow.cc	2013-07-18 11:25:36 +0000
@@ -197,8 +197,8 @@
 				return;
 			}
 		}
+		m_worker_table->update();
 	}
-	m_worker_table->update();
 }
 
 void ProductionSite_Window::evict_worker() {


Follow ups