My grandfather used to smoke his pipe while working on heating oil burners (which burn fuel oil which is no 2 diesel), back when it was totally normal to smoke indoors. But diesel oil does explode under certain conditions, otherwise it wouldn’t be a very good fuel.