`-dump_head' が返すヘッダに parse できない時刻が存在する URL に
遭遇しました。
(w3m-w3m-get-header "http://会社/仕事.gif" t)
=> "HTTP/1.0 200 OK
Server: Netscape-Commerce/1.12
Date: Thursday, 22-Mar-01 11:54:48 GMT
Last-modified: Wednesday, 31-Jan-01 09:36:30 GMT
Content-length: 15053
Content-type: image/gif
"
ここに含まれている Last-modified: が `w3m-w3m-attributes' の最後
の方でエラーを起こします。
(w3m-time-parse-string "Wednesday, 31-Jan-01 09:36:30 GMT")
=> (30 36 9 nil nil nil nil (0) 0)
(condition-case err
(apply 'encode-time '(30 36 9 nil nil nil nil (0) 0))
(error err))
=> (wrong-type-argument integerp nil)
たぶん `w3m-time-rules' あたりを強化すれば済むのかもしれませんが、
キリがないですよねえ。
とりあえず仕事をしなければならないので、以下のようにごまかして使っ
ています。
Attachment:
w3m.el.diff
Description: Binary data
-- Katsumi Yamaoka <yamaoka@jpl.org>