The agency, quoting a statement from the company, said the fire broke out during maintenance work, and that four workers had suffered burns.

The fire caused minor damage and was brought under control by cutting off the pipeline, it said.