PatR
2708d3b330
fix mon_leaving_level
...
Reported directly to devteam: changing levels while riding gave an
impossible warning, "no monster to remove".
mon_leaving_level() was trying to take hero's steed off the map but
that isn't on the map in the first place. Only noticable if built
with EXTRA_SANITY_CHECKS enabled. Normally remove_monster(x,y) just
sets level.monsters[x,y] to Null but with extra checks enabled it
first checks whether that is already Null.
2022-04-24 14:44:40 -07:00
..
2022-01-29 16:28:06 -05:00
2020-02-15 13:08:34 -08:00
2022-02-04 11:26:14 -05:00
2022-02-10 16:45:03 -05:00
2022-02-10 16:45:03 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-04-24 14:44:40 -07:00
2022-01-29 16:28:06 -05:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2022-04-16 11:08:34 -04:00
2022-04-16 11:08:34 -04:00
2022-04-16 11:08:34 -04:00
2022-04-01 08:53:15 +03:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2022-01-29 16:28:06 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-09-20 18:02:48 -04:00
2020-08-03 22:07:36 -04:00
2022-01-29 16:28:06 -05:00