Call exit() to prevent further code execution if directory does not exist

diff --git a/apps/files/index.php b/apps/files/index.php
index c2c0cb6170cffbc0588c70454e0dace717b436f4..79bed8e357ed8d711a89bd7a4041e9e7906cff47 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['PHP_SELF'].'');
+       exit();
 }
 
 $files = array();