I have a script that runs in different countries to figure out the local time offset from GMT (to determine location). For that goal I get GMT time by polling a web server, it return time in a format like: "28 Aug 2020 08:39:04" then I use In format("28 Aug 2020 08:39:04") to return 28Aug2020:08:39:04 as a datetime stamp. Now I can subtract local time - GMT time to get the time difference. This works fine in Europe and the USA but when my Korean colleague runs In format("28 Aug 2020 08:39:04") he gets . as response. Probably JMP not recognizing the month. Is there a robust way to convert this char date to a date format that works around the world?
I see the option of using <<use locale(b=1) as an option but cannot find how that works in the scripting index of help file.