Made destruct_threadbound_session_objects destruct race safe. Rev: server/base_server/prototypes.pike:1.275