Classes at Pilot Point High School were closed Friday while work crews repaired a gas leak outside the campus, school officials posted on its Web site.
The school was unable to run its heaters or its cafeteria equipment, officials said.
Pilot Point is about 20 miles northeast of the city of Denton.
The district’s elementary, intermediate and middle schools, were not affected.
Digital Access For Only $0.99
For the most comprehensive local coverage, subscribe today.