Tvheadend

I have been struggling for some days to persuade a RPi with a DVB TV uHAT to be a SAT>IP server. I tried on different RPi flavours (Pi0 and Pi3) and different Raspbian versions but nothing worked. The server would not start and TVH did not generate a UUID.

After some trial and error, I have found that the only way to get this to work is a delay the start-up of TVH after boot by 30s (by addind a "sleep 30" at the start of /etc/init.d/tvheadend). I have no idea why this has an effect but now the server works every time after boot.

Is this a bug or a feature of TVH on RPi's? I haven't found any mention of this anywhere.