Oops, after double checking, I *had* one stale process somewhere which apparently established contact with gam_server after I logged out. Killing it allowed gam_server to exit by itself now.
Oops, after double checking, I *had* one stale process somewhere
which apparently established contact with gam_server after I logged
out.
Killing it allowed gam_server to exit by itself now.