From b600db106f3a803f35981aa53a63a986faa88444 Mon Sep 17 00:00:00 2001
From: arino <arino>
Date: Tue, 22 Jul 2003 14:28:16 +0900
Subject: [PATCH] =?utf8?q?get=5Ffiletime():=20=E3=83=9A=E3=83=BC=E3=82=B8?=
 =?utf8?q?=E3=81=8C=E5=AD=98=E5=9C=A8=E3=81=97=E3=81=AA=E3=81=84=E3=81=A8?=
 =?utf8?q?=E3=81=8D=E3=81=AB0=E3=82=92=E8=BF=94=E3=81=99=E3=82=88=E3=81=86?=
 =?utf8?q?=E3=81=AB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 file.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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;
 }
 
-- 
2.11.0