luaで現在のネットワークタイムスタンプを取得する方法

プロジェクトでは時間がかかり、もともとローカル時間を取得していたが、携帯電話のローカル時間が間違っていたら、バグが発生し、ネット時間しか取得できないことに気づいた.
luaでローカル時間を取得するには
os.time();
ネットワーク時間の取得方法について説明します.

        local socket = require "socket.core"
		local server_ip = {
		        "time-nw.nist.gov",
		        "time-a.nist.gov",
		        "time-b.nist.gov",
		        "time.nist.gov",
		        "time-c.nist.gov",
		        "time-d.nist.gov",
		    }--                    。
        function nstol(str)
		    assert(str and #str == 4)
		    local t = {str:byte(1,-1)}
		    local n = 0
		    for k = 1, #t do
		        n= n*256 + t[k]
		    end
		    return n
		end

		-- get time from a ip address, use tcp protocl
		function gettime(ip)
		    print("connect ", ip)
		    local tcp = socket.tcp()
		    tcp:settimeout(10)
		    tcp:connect(ip, 37)
		    success, time = pcall(nstol, tcp:receive(4))
		    tcp:close()
		    return success and time or nil
		end

        function nettime()
		    for _, ip in pairs(server_ip) do
		        time = gettime(ip)
		        if time then 
                    --2208988800 1900 1 1 00:00:00~1970 1 1 00:00:00    
		            print(time-2208988800)
		            return time-2208988800
		        end
		    end
		end

これによりnettime()関数を呼び出すと、ネットワークタイムスタンプを取得できます.取得したタイムスタンプは、私たちが理解できる表現に直接変換できます.
local t = nettime();
print(「時間」,timeConvert(t))
 
--時間変換function timeConvert(tm,format)tm=tonumber(tm)if format==2 then returnos.Date("%Y年%m月%d日",tm)elseif format==3 then return os.date("%Y年%m月%d日%H:%M:%S",tm)elseif format==4 then return os.date("%H:%M",tm)     elseif format then         return os.date("%m月%d日",tm)else return os.date("%m月%d日%H:%M:%S",tm)end end
 
出力結果:
1558411181
2019年05月21日11:59:41