From 3fc72a3fff2f25b4c85a803a6205e6d4869be291 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Mon, 4 May 2015 07:14:24 +0200
Subject: [PATCH] check for extension dir before reading contents

---
 inc/inc.ClassExtensionMgr.php | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/inc/inc.ClassExtensionMgr.php b/inc/inc.ClassExtensionMgr.php
index 64d94ceb2..163893206 100644
--- a/inc/inc.ClassExtensionMgr.php
+++ b/inc/inc.ClassExtensionMgr.php
@@ -76,16 +76,18 @@ class SeedDMS_Extension_Mgr {
 
 	function getExtensions() { /* {{{ */
 		$extensions = array();
-		$handle = opendir($this->extdir);
-		while ($entry = readdir($handle) ) {
-			if ($entry == ".." || $entry == ".")
-				continue;
-			else if (is_dir($this->extdir ."/". $entry))
-				array_push($extensions, $entry);
-		}
-		closedir($handle);
+		if(file_exists($this->extdir)) {
+			$handle = opendir($this->extdir);
+			while ($entry = readdir($handle) ) {
+				if ($entry == ".." || $entry == ".")
+					continue;
+				else if (is_dir($this->extdir ."/". $entry))
+					array_push($extensions, $entry);
+			}
+			closedir($handle);
 
-		asort($extensions);
+			asort($extensions);
+		}
 		return $extensions;
 	} /* }}} */
 }