Fix #1378 : sphinx host is replaced by sphinx port in admin panel

The configuration generated by the search engine tools in the admin panel has the port instead of the host written.