Update mentor.dm

This commit is contained in:
kevinz000
2018-07-03 06:33:33 -07:00
committed by GitHub
parent 0500be9b35
commit 80f8f7e1b1
@@ -58,6 +58,7 @@ GLOBAL_PROTECT(mentor_href_token)
return "mentor_token=[RawMentorHrefToken(forceGlobal)]"
/proc/load_mentors()
usr = null
GLOB.mentor_datums.Cut()
for(var/client/C in GLOB.mentors)
C.remove_mentor_verbs()
@@ -87,4 +88,4 @@ GLOBAL_PROTECT(mentor_href_token)
// new client var: mentor_datum. Acts the same way holder does towards admin: it holds the mentor datum. if set, the guy's a mentor.
/client
var/datum/mentors/mentor_datum
var/datum/mentors/mentor_datum