fix campaign server

wesnoth · Aug 14, 2016 · 8741d38 · 8741d38
1 parent 413a4ca
commit 8741d38
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/campaign_server/campaign_server.cpp b/src/campaign_server/campaign_server.cpp
@@ -827,9 +827,9 @@ void server::handle_delete(const server::request& req)
 	}
 
 	config::child_itors itors = campaigns().child_range("campaign");
-	for(size_t index = 0; itors.first != itors.second; ++index, ++itors.first)
+	for(size_t index = 0; !itors.empty(); ++index, itors.pop_front())
 	{
-		if(&campaign == &*itors.first) {
+		if(&campaign == &itors.front()) {
 			campaigns().remove_child("campaign", index);
 			break;
 		}