Tweaked socket_server.java a bit to work with Mobile.