Merge branch 'master' into upstream-merge-32188

This commit is contained in:
deathride58
2017-11-18 05:31:42 +00:00
committed by GitHub
109 changed files with 452 additions and 425 deletions
+1 -1
View File
@@ -117,7 +117,7 @@
return FALSE
/obj/docking_port/mobile/arrivals/proc/PersonCheck()
for(var/M in (GLOB.living_mob_list & GLOB.player_list))
for(var/M in (GLOB.alive_mob_list & GLOB.player_list))
var/mob/living/L = M
if((get_area(M) in areas) && L.stat != DEAD)
return TRUE