Fix #1378 : sphinx host is replaced by sphinx port in admin panel
Merge pull request #542 from jschne/master

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