1
0
mirror of https://repo.or.cz/minetest_playereffects.git synced 2025-07-01 07:40:40 +02:00

Add playereffects.has_effect_type

This commit is contained in:
Wuzzy
2016-08-11 18:23:30 +02:00
parent fb04c57da9
commit e1a72e8206
2 changed files with 19 additions and 0 deletions

View File

@ -297,6 +297,16 @@ function playereffects.get_player_effects(playername)
end
end
function playereffects.has_effect_type(playername, effect_type_id)
local pe = playereffects.get_player_effects(playername)
for i=1,#pe do
if pe[i].effect_type_id == effect_type_id then
return true
end
end
return false
end
--[=[ Saving all data to file ]=]
function playereffects.save_to_file()
local save_time = os.time()