From: arino <arino>
Date: Tue, 22 Jul 2003 05:28:16 +0000 (+0900)
Subject: get_filetime(): ページが存在しないときに0を返すように
X-Git-Tag: r1_5_0_rc1~1481
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=b600db106f3a803f35981aa53a63a986faa88444;p=pukiwiki%2Fpukiwiki.git

get_filetime(): ページが存在しないときに0を返すように
---

diff --git a/file.php b/file.php
index 50f6244..b4f9ecd 100644
--- a/file.php
+++ b/file.php
@@ -2,7 +2,7 @@
 /////////////////////////////////////////////////
 // PukiWiki - Yet another WikiWikiWeb clone.
 //
-// $Id: file.php,v 1.27 2003/07/14 03:54:24 arino Exp $
+// $Id: file.php,v 1.28 2003/07/22 05:28:16 arino Exp $
 //
 
 // ¥½¡¼¥¹¤ò¼èÆÀ
@@ -18,6 +18,10 @@ function get_source($page=NULL)
 // ¥Ú¡¼¥¸¤Î¹¹¿·»þ¹ï¤òÆÀ¤ë
 function get_filetime($page)
 {
+	if (!is_page($page))
+	{
+		return 0;
+	}
 	return filemtime(get_filename($page)) - LOCALZONE;
 }