Utility workers isolated the damaged line and stopped the flow of gas at 9:25 a.m., PG&E said. The explosion occurred shortly afterward.