renamed 'pythongui' to 'gui'; changed server.py