That is really sad.
Gas is very convenient, but we also have to be very careful.
I always leave the gas items in the truck, never in the tent when I camp.