Restart dev server if config file is changed
Restart dev server if config file is changed

OmeGak/indico,mvidalgarcia/indico,mvidalgarcia/indico,indico/indico,pferreir/indico,indico/indico,mic4ael/indico,ThiefMaster/indico,mic4ael/indico,mic4ael/indico,mic4ael/indico,ThiefMaster/indico,indico/indico,pferreir/indico,OmeGak/indico,pferreir/indico,DirkHoffmann/indico,DirkHoffmann/indico,ThiefMaster/indico,mvidalgarcia/indico,mvidalgarcia/indico,indico/indico,OmeGak/indico,ThiefMaster/indico,DirkHoffmann/indico,OmeGak/indico,pferreir/indico,DirkHoffmann/indico