eiffelmedia - Revision 2643: /trunk/resource/tools/highscore_server