Leaky gas line problems

When I was younger, I had a task at a fast food steakhouse.  For 10 years, I spent many evenings in that store. I was General Manager and it was our task to make sure everything was ship shape at evening.  I had to do the inventory and get the payroll around. I was just on our way out of the steakhouse 1 evening, when I heard an odd noise. I knew I couldn’t leave if there was a problem.  I tracked down where the sound was coming from and I found out I had a leak in our tepid water system, and i called the plumber, even though I also called the Heating, Ventilation and A/C corporation.  I was afraid that all of the water was going to put out the pilot light on our oil furnace. No sooner had the plumber showed up, however our Heating, Ventilation and A/C worker was also there. I had both men down in the basement going over the oil furnace and the tepid water heater.  They had only been there for half an minute and the plumber had his water leak fixed. The Heating, Ventilation and A/C worker came up and told myself and others I had made a wise choice in calling him. There was a concern with the oil furnace, and it had nothing to do with the water leak.  Had I not called him when I did, every one of us would have come in to no heat and the entire locale would have been frozen. The temperature was going down to 10 degrees that evening. I waited in the store for another minute, while he made the repair to the oil furnace.