Function OnExit can be called after a player switched team or disconnected. There are too many maps with this "team switch bug". I fixed it in the fueldump map today. GameMonkey scripts have simple cooperative multitasking. Threads can be switched only at sleep or yield. That's why no locks or mutexes are needed.