Space Invasion: Continue playing rounds in case the teams are tied at the end Rules in case of a tie: 1) Eliminate all teams not tied for the lead 2) Play another round with the remaining teams 3) Check for the winner again at the end of that round. If there's another tie, repeat the procedure

This is version 3.1 of the iniparser library developed by N. Devillard.
See http://ndevilla.free.fr/iniparser/ for details and new versions.