たぶん自分の使い方が変なのだろうけど index.htmlのタイムスタンプとrdf中の日付を比較する際に index.htmlのタイムスタンプの取得を $mtime =( stat($srcfile))[9]; ($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst) = localtime($mtime); という風…