From 03cd52377e1f38345493a9c71bab6acd1b6342de Mon Sep 17 00:00:00 2001
From: Christoph Sommer <mail@christoph-sommer.de>
Date: Thu, 31 Jan 2008 23:21:22 +0000
Subject: [PATCH] HurtingPlatform won't kill invincible player

SVN-Revision: 5306
---
 src/object/hurting_platform.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/object/hurting_platform.cpp b/src/object/hurting_platform.cpp
index 59cbfdf80..2c0a010c3 100644
--- a/src/object/hurting_platform.cpp
+++ b/src/object/hurting_platform.cpp
@@ -38,6 +38,9 @@ HurtingPlatform::collision(GameObject& other, const CollisionHit& )
 {
   Player* player = dynamic_cast<Player*>(&other);
   if (player) {
+    if(player->is_invincible()) {
+      return ABORT_MOVE;
+    }
     player->kill(false);
   }
   BadGuy* badguy = dynamic_cast<BadGuy*>(&other);
-- 
2.11.0