Restraining order also issued due to threats and harassment of Bungie employees.