Add a missing exit();

diff --git a/apps/files/index.php b/apps/files/index.php
index 077187fbc136077b6503dd938771cb0673e79572..f6a1c4bfb4c9cecf67217911d00ba54e36414c43 100644 (file)
--- a/apps/files/index.php
+++ b/apps/files/index.php
@@ -40,6 +40,7 @@ $dir = isset( $_GET['dir'] ) ? stripslashes($_GET['dir']) : '';
 // Redirect if directory does not exist
 if(!OC_Filesystem::is_dir($dir.'/')) {
        header('Location: '.$_SERVER['SCRIPT_NAME'].'');
+       exit();
 }
 
 $files = array();