minor fix to load/save correctly port number of remote android wifi server