import time
import myNtptime

do_connect('Wokwi-GUEST', '')  # 在Wokwi中WIFI名稱為Wokwi-GUEST

ctime = time.localtime() # 取得時間(本地端)
print("校正前：{0}-{1:02d}-{2:02d} {3:02d}:{4:02d}:{5:02d}".format(ctime[0], ctime[1], ctime[2], ctime[3], ctime[4], ctime[5]))

"""
https://github.com/micropython/micropython-lib/blob/master/micropython/net/ntptime/ntptime.py
"""
myNtptime.settime()


ctime = time.localtime()

print("校正後：{0}-{1:02d}-{2:02d} {3:02d}:{4:02d}:{5:02d}".format(ctime[0], ctime[1], ctime[2], ctime[3], ctime[4], ctime[5]))