After spending a long while trying to decipher how the server counter is supposed to work, I can safely say it's beyond me. I got python to print the server count but it seems to be hard to do with PHP.
"Just because nobody complains doesn't mean all parachutes are perfect." --Benny Hill