Fixed pinmiks spawning on pause

README.md

@@ -20,11 +20,11 @@ pip install pygame
 ### With Linux/Unix
 
 ```bash
-pyinstaller --onefile --noconsole launcher.py --add-data "gamedata:gamedata" --icon icon.png
+pyinstaller --onefile --noconsole launcher.py --add-data "gamedata:gamedata" --icon=icon.ico
 ```
 
 ### With Windows
 
 ```bash
-pyinstaller --onefile --noconsole launcher.py --add-data "gamedata;gamedata" --icon icon.png
+pyinstaller --onefile --noconsole launcher.py --add-data "gamedata;gamedata" --icon=icon.ico
 ```

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):