WOODSTOCK — Students at Woodstock High School had to evacuate Wednesday morning because of a gas leak somewhere in the building. There was a gas smell in the building and students evacuated between 11 and 11:15 a.m. Wednesday, Executive Assistant to the Superintendent Lynn Mohan said. Assistant Superintendent for Middle and High School Education George Oslovich sent an email to parents at 11:30 a.m. "A gas leak has been found at Woodstock High School and all students and staff are being evacuated to Dean Street Elementary School," the email said. "This evacuation is a precautionary measure.