I want to know how many docs are indexed for each server I have in my conf
file. This is to control wich ones are too big.
I plan to make a short php script to interract with the MySQL DB : looping
the conf file where the server list stands and then, for each 'Server'
command make something like :