From 371cc7ee96aa4d874dead36993c162edb32ef27e Mon Sep 17 00:00:00 2001
From: arino <arino>
Date: Wed, 3 Sep 2003 10:35:51 +0900
Subject: [PATCH] =?utf8?q?BugTrack/450:=20$contents=E3=82=92=E3=82=AD?=
 =?utf8?q?=E3=83=A3=E3=83=83=E3=82=B7=E3=83=A5=E3=81=97=E3=81=AA=E3=81=84?=
 =?utf8?q?=E3=82=88=E3=81=86=E3=81=AB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 convert_html.php | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/convert_html.php b/convert_html.php
index 3df180a..3da17dc 100644
--- a/convert_html.php
+++ b/convert_html.php
@@ -2,7 +2,7 @@
 /////////////////////////////////////////////////
 // PukiWiki - Yet another WikiWikiWeb clone.
 //
-// $Id: convert_html.php,v 1.52 2003/07/31 08:22:47 arino Exp $
+// $Id: convert_html.php,v 1.53 2003/09/03 01:35:51 arino Exp $
 //
 function convert_html($lines)
 {
@@ -833,15 +833,10 @@ class Body extends Block
 	}
 	function replace_contents($arr)
 	{
-		static $contents = NULL;
-		
-		if (is_null($contents))
-		{
-			$contents  = "<div class=\"contents\">\n";
-			$contents .= "<a id=\"contents_{$this->id}\"></a>";
-			$contents .= $this->contents->toString();
-			$contents .= "</div>\n";
-		}
+		$contents  = "<div class=\"contents\">\n";
+		$contents .= "<a id=\"contents_{$this->id}\"></a>";
+		$contents .= $this->contents->toString();
+		$contents .= "</div>\n";
 		array_shift($arr);
 		return ($arr[1] != '') ? $contents.join('',$arr) : $contents;
 	}
-- 
2.11.0