diff --git a/design.inc.php b/design.inc.php
index e89ff01e..91cf1d7c 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -31,6 +31,7 @@ PRE { margin: 0; margin: .12em 0; }
 		echo "<p class='message'>$_SESSION[message]</p>\n";
 		$_SESSION["message"] = "";
 	}
+	session_write_close();
 }
 
 function page_footer($missing = false) {