From 5796ccdf066383ed939d675add59372fdd78bef8 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Sun, 1 Jan 2017 14:47:20 +0100
Subject: [PATCH] add exit() after calling header('Location: ..')

---
 out/out.DocumentVersionDetail.php | 1 +
 out/out.ViewDocument.php          | 1 +
 2 files changed, 2 insertions(+)

diff --git a/out/out.DocumentVersionDetail.php b/out/out.DocumentVersionDetail.php
index 19fe4954f..97fb48fda 100644
--- a/out/out.DocumentVersionDetail.php
+++ b/out/out.DocumentVersionDetail.php
@@ -56,6 +56,7 @@ if (!is_object($version)) {
 $latestContent = $document->getLatestContent();
 if ($latestContent->getVersion()==$version->getVersion()) {
 	header("Location:../out/out.ViewDocument.php?documentid=".$document->getID());
+	exit;
 }
 
 $folder = $document->getFolder();
diff --git a/out/out.ViewDocument.php b/out/out.ViewDocument.php
index 28b772591..a8b395245 100644
--- a/out/out.ViewDocument.php
+++ b/out/out.ViewDocument.php
@@ -56,6 +56,7 @@ if ($document->getAccessMode($user) < M_READ) {
  */
 if ($document->verifyLastestContentExpriry()){
 	header("Location:../out/out.ViewDocument.php?documentid=".$document->getID());
+	exit;
 }
 
 if($view) {