Fix json-services port parsing from services.ini: "Port" is normally

capitalized in the services.ini, though technically its not case sensitive.

xtrn/syncwall/syncwall.js

@@ -350,6 +350,9 @@ var initJSON = function() {
 		f.open("r");
 		var ini = f.iniGetObject("JSON");
 		f.close();
+		// services.ini normally uses "Port" rather than "port", but it's actually not case sensitive
+		if(ini.port == undefined && ini.Port != undefined)
+			ini.port = ini.Port;
 		var host = "localhost";
 		var port = (ini === null) ? 10088 : Number(ini.port);
 	}