Merge lp:~ebke/widelands/ping-on-pause into lp:widelands

[Johannes Ebke]

Also start the socket keep-alive ping if all players agree on pausing the game.

[SirVer (sirver)]

Merged in r6421. Thanks Johannes!

=== modified file 'src/network/nethost.cc'
--- src/network/nethost.cc	2012-07-13 20:46:30 +0000
+++ src/network/nethost.cc	2012-07-21 11:45:25 +0000
@@ -2472,8 +2472,9 @@
 		}
 	}
 
-	// If a pause was forced, send a ping regulary to keep the sockets up and running
-	if (m_forced_pause && (time(0) > (d->lastpauseping + 20))) {
+	// If a pause was forced or if the players all pause, send a ping regularly
+        // to keep the sockets up and running
+	if ((m_forced_pause || realSpeed() == 0) && (time(0) > (d->lastpauseping + 20))) {
 		d->lastpauseping = time(0);
 
 		SendPacket s;