搜索
查看: 3887|回复: 4

网站获取来的时间如何格式化

[复制链接]

2

主题

4

帖子

93

积分

一级会员

Rank: 2

积分
93
发表于 2015-1-18 22:31:36 | 显示全部楼层 |阅读模式
想用http.readHeader("date"),获取服务器时间.   
返回时间格式是GMT,  GMT+8 ,是东八区,用addhour 解决.
返回的date格式是   "Sun, 18 Jan 2015 09:59:11 GMT";

tm = time("2015/01/10","%Y/%m/%d ");
tm.format="%Y/%m/%d ";
io.print( tm)
这样写能过

下面的提示time  错误参数@1,如何修改
  1. import console;  
  2. var date = "Sun, 18 Jan 2015 09:59:11 GMT";
  3. console.log("date",date);
  4. var tm = time(date,"%a, %d %b %Y %H:%M:%S ");
  5. //                 Sun, 18 Jan 2015 09:59:11 GMT
  6. tm.format="!%Y-%m-%d %H:%M:%S";
  7. console.log("tm",tm);
  8. console.pause(true);
复制代码
回复

使用道具 举报

8

主题

462

帖子

2551

积分

版主

Rank: 7Rank: 7Rank: 7

积分
2551
发表于 2015-1-18 23:16:00 | 显示全部楼层

错误信息已经指出问题了,date是无效的。 你这么复杂的格式化语句都写出来了,想必你已经看过手册了?! 有没有注意到手册里第一句就是: [quote]注意

错误信息已经指出问题了,date是无效的。
你这么复杂的格式化语句都写出来了,想必你已经看过手册了?!
有没有注意到手册里第一句就是:
注意格式化参数受区域设置影响,如果格式化时需要使用特定区域语言,那么必须显式使用setlocale()函数指定区域,
例如:setlocale("all","chs") 或 setlocale("time","chs") 应用简体中文格式化,而使用 setlocale("time","enu") 应用英文语言格式化时间
所以如果你的时间字符串不是纯数字,包含中文或英文就需要 setlocale() 明确指明所应用的语言。不然就有可能你的程序出现混乱不正常的结果哦。
回复

使用道具 举报

4

主题

47

帖子

487

积分

培训班

积分
487
发表于 2015-4-26 22:56:06 | 显示全部楼层

[quote][size=2][url=forum.php?mod=redirect&goto=findpost&pid=68849&ptid=12786][c

roger 发表于 2015-1-18 23:16
错误信息已经指出问题了,date是无效的。
你这么复杂的格式化语句都写出来了,想必你已经看过手册了?!
...

感觉还是没能理解。
这种格式化是对time.now()输出进行格式化吧。
但是对获取的时间字符串进行格式化好像没效果。求指导实例。
多谢。

点评

上面就是“ 对时间字符串进行格式化” 的实例,不理解的部份可以看一下帮助手册  发表于 2015-4-27 00:55
回复

使用道具 举报

4

主题

47

帖子

487

积分

培训班

积分
487
发表于 2015-4-27 22:47:34 | 显示全部楼层

[quote][size=2][url=forum.php?mod=redirect&goto=findpost&pid=69232&ptid=12786][c

dreamhui 发表于 2015-4-26 22:56
感觉还是没能理解。
这种格式化是对time.now()输出进行格式化吧。
但是对获取的时间字符串进行格式 ...

多谢,好像在开始加入:
setlocale("time","enu")
再用格式化就没有错误了:


  1. import console;  
  2. import inet.whttp;
  3. setlocale("time","enu") //这个很重要
  4. url="http://www.szse.cn/";

  5.     var whttp = inet.whttp()   
  6.     whttp.beginRequest(url,"GET")
  7.     whttp.send()
  8.     var da = whttp.readHeader("Date")  
  9.     console.log("da1",da);
  10.     da = tostring(da);
  11.    
  12.     var tm = time(da,"%a, %d %b %Y %H:%M:%S ");
  13.    
  14.      console.log("tm1",tm);
  15.      tm.format="%Y年%m月%d日 %H时%M分%S秒";
  16.      console.log("tm2",tm);
  17.      
  18. console.pause(true);
复制代码
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册会员

本版积分规则

手机版|未经许可严禁引用或转载本站文章|站长邮箱|aardio.com|aardio官方社区 ( 皖ICP备09012014号 )

GMT+8, 2020-7-5 14:23 , Processed in 0.046875 second(s), 23 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表