Untitled

		<p>
		<?php if (!isset($continue)) { ?>
		<form action="editbox2.php?continue=true" method="post">
		<?php
			$filename = "box2.inc";
			$text = read_file($filename);
		?>
		<textarea id="editor" name="editor"><?php echo $text; ?></textarea>
		<input type="submit" value="Update Section" />
		</form>
		<?php } else {
			$filename = "box2.inc";
			$cont = stripslashes($_POST['editor']);
			$r = write_file($filename, $cont);
			echo "<script type=\"text/javascript\">document.location='index.php';</script>";
			}
		?>
		</p>