widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01255
[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