File fix-compare-None-int.patch of Package whichwayisup

diff -Nur whichwayisup-0.7.9/lib/player.py wwiu/lib/player.py
--- whichwayisup-0.7.9/lib/player.py	2007-10-14 11:07:50.000000000 +0200
+++ wwiu/lib/player.py	2021-05-01 16:34:15.990566687 +0200
@@ -79,7 +79,7 @@
 
     blood = []
 
-    if collision_type > 0:
+    if collision_type is not None and collision_type > 0:
       blood = self.take_damage(collision_type)
       if self.current_animation != "dying":
         self.dy -= collision_type*PLAYER_JUMP_ACC / 4.5
@@ -142,4 +142,4 @@
     
   def exit(self):
     self.current_animation = "exit"
-    return
\ Kein Zeilenumbruch am Dateiende.
+    return