неожиданное взаимодействие с $ _SESSION и буферизацией объекта

Изменить: я просто не выходил после отправки перенаправления заголовка.

При отображении значения сеанса внутри выходного буфера включаемого файла, если значение изменяется позднее в сценарии, более поздним значением является то, которое отображается.

Наш веб-сайт использует внутреннюю структуру, где каждая страница находится в своем собственном файле, который включается index.php, Индексный файл записывает выходные данные включаемого файла в буфер и сохраняет их в переменной. Он делает некоторые другие вещи, затем выводит эхо-заголовки, нижние колонтитулы и захваченный включаемый файл.

Проблема в том, что $_SESSION ведет себя неожиданным образом, следуя шаблону POST to GET:

Публикуйте в форму, она устанавливает что-то в сеансе, а затем выполняет перенаправление get на другую страницу. На перенаправленной странице, если вы выводите что-то из сеанса, а затем манипулируете этим ПОСЛЕ оператора echo, конечный результат состоит в том, что то, что есть echo, отражает последующее изменение. То же самое касается unset; эхо что-то из сессии, то unset это, и результат, что это эхо и пустая строка.

Вот основной пример:

form.php

if (!empty($_POST['string'])) {
$_SESSION['message'] = $_POST['string'];
header("Location: ./index.php?page=formHandler");
//EDIT - This was not in the original code
//exit;
} else {
?>
<form action="index.php?page=form" method="post">
<input type="text" name="string"><input type="submit" />
</form>
<?php
}

formHandler.php

if (isset($_SESSION['message'])) {
echo $_SESSION['message'];
$_SESSION['message'] = "changed";
}

index.php

session_start();

ob_start();
include $_GET['page'] . ".php";
$page = ob_get_clean();
echo $page;

Итак, что происходит:

Начиная с form.php (который включен в индекс)

Введите значение, опубликуйте его.

Текст "changed" всегда отображается, даже если он установлен после echo заявление.

Это упрощено ради примера; заголовок инициируется переписыванием, а не получением параметров и некоторыми другими вещами, но идея есть.

Итак, мой вопрос что является причиной этого неожиданного поведения, и что я могу сделать, чтобы это исправить?

Использование PHP 5.4