Don't restart Jenkins on config.xml change
Don't restart Jenkins on config.xml change

Jenkins changes the config.xml internally once a user logs in the first time.
This is a first fix to get the gate working again; a more sophisticated patch is
required later to merge changes from Jenkins and from Puppet.

Change-Id: Ie523a1fe9e041bca52f4aebdab7a6037c6719cdd

invenfantasy/software-factory,enovance/software-factory,enovance/software-factory,enovance/software-factory,enovance/software-factory,invenfantasy/software-factory,invenfantasy/software-factory,enovance/software-factory,invenfantasy/software-factory,invenfantasy/software-factory