Anybody have experience with really old Diesels?

You said he cranked it but it wouldn't start, did he leave the ignition on to warm up the plugs before cranking it? I would assume he did, but had to ask.