Fixed pinmiks spawning on pause

gamedata/objects/ingame/manager.py

@@ -75,10 +75,11 @@ class Manager(BaseObject):
             self.game.globals["pause"] = not self.game.globals["pause"]
         # Spawning more lemmings
         if (self.lives>0 and nblemmings>0):
-            if self.spawntimer.tick(self.game.dt):
-                self.game.gameloop.summon(Spawner(self.game,self.tiles,speedmargin=int(self.speedmargin+0.5),skins=self.skins))
-                self.speedmargin+=self.speedstep
-                self.spawntimer = self.game.lib.Timer(self.basetime+nblemmings*self.steptime)
+            if not self.game.globals["pause"]:
+                if self.spawntimer.tick(self.game.dt):
+                    self.game.gameloop.summon(Spawner(self.game,self.tiles,speedmargin=int(self.speedmargin+0.5),skins=self.skins))
+                    self.speedmargin+=self.speedstep
+                    self.spawntimer = self.game.lib.Timer(self.basetime+nblemmings*self.steptime)
         else:
             # Game over
             if self.endtimer.tick(self.game.dt):