tree 55ae3bbf1c45dc0f09ff24b448875de63ececaa4
parent 75306351ff28b247099bff8f770b05d2282ac165
author Davide Pesavento <davide.pesavento@lip6.fr> 1517703055 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1517707149 -0500

core: don't complain if the configuration file is empty

It is not an error in itself.

Change-Id: I2d100203c9c63ef4774e00dfa17fd1087e381122