python 获取网络时间及修改本地时间

限于不同的网络，有时候这些时间服务器不一定能用。因此这次选择的是www.baidu.com这个大家都能用吧。

python代码 :

import http.clientimport timeimport osdef get_webservertime(host):    conn=http.client.HTTPConnection(host)    conn.request("GET", "/")    r=conn.getresponse()    #r.getheaders() #获取所有的http头    ts=  r.getheader('date') #获取http头date部分    #将GMT时间转换成北京时间    ltime= time.strptime(ts[5:25], "%d %b %Y %H:%M:%S")    print(ltime)    ttime=time.localtime(time.mktime(ltime)+8*60*60)    print(ttime)    dat="date -s %u-%02u-%02u"%(ttime.tm_year,ttime.tm_mon,ttime.tm_mday)    tm="date -s %02u:%02u:%02u"%(ttime.tm_hour,ttime.tm_min,ttime.tm_sec)    print (dat,tm)    os.system(dat)    os.system(tm)    get_webservertime('www.baidu.com')