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

2012-07-10 18:59:42 +07:00 · 2012-07-10 18:59:42 +07:00 · 3134a962d9
parent 7c908a0016
commit 3134a962d9
1 changed files with 1 additions and 0 deletions
--- 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();