Fix a bug in robot.py (forgot to import math) and set the server as the default IP.