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() {
_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp
