From: Holger Schemel <info@artsoft.org>
Date: Thu, 12 Jan 2023 17:17:59 +0000 (+0100)
Subject: fixed bug with undefined element graphic when pushing into explosion
X-Git-Tag: 4.3.5.0~39
X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=commitdiff_plain;h=9fd265ba909d8c7e12f1571eab902e6983de481f

fixed bug with undefined element graphic when pushing into explosion
---

diff --git a/src/tools.c b/src/tools.c
index c5bdd986..fbfb601a 100644
--- a/src/tools.c
+++ b/src/tools.c
@@ -4248,6 +4248,9 @@ static void DrawPlayerExt(struct PlayerInfo *player, int drawing_stage)
     if (!player->is_pushing || !player->is_moving)
       return;
 
+    if (Tile[next_jx][next_jy] == EL_EXPLOSION)
+      return;
+
     int gfx_frame = GfxFrame[jx][jy];
 
     if (!IS_MOVING(jx, jy))		// push movement already finished