Worker Injured in Gas Line Explosion Settles