diff options
| author |  Alexandre Alapetite <alexandre.alapetite@alexandra.dk>
| 2015-01-19 13:54:57 +0100 |
|---|---|---|
| committer | Alexandre Alapetite <alexandre.alapetite@alexandra.dk>
| 2015-01-19 13:54:57 +0100 |
| commit | d30b3becfa50b96982a3b4880c07cc2b770d7eed (patch) | |
| tree | 145b10fdfa8a5e540132473a29085badcba7c3d2 /lib/Minz/ExtensionManager.php | |
| parent | 8b94141fec20f055e17aebe86002cd87d8acf8ad (diff) | |
Addressed warnings when reading from new files
There were warnings when reading extensions (trying to use e.g. README
and .gitignore as directories), and when reading update file.
https://github.com/FreshRSS/FreshRSS/issues/733
Diffstat (limited to 'lib/Minz/ExtensionManager.php')
| -rw-r--r-- | lib/Minz/ExtensionManager.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Minz/ExtensionManager.php b/lib/Minz/ExtensionManager.php index 7edc7afaa..f00453f6c 100644 --- a/lib/Minz/ExtensionManager.php +++ b/lib/Minz/ExtensionManager.php @@ -56,6 +56,9 @@ class Minz_ExtensionManager { foreach ($list_potential_extensions as $ext_dir) { $ext_pathname = EXTENSIONS_PATH . '/' . $ext_dir; + if (!is_dir($ext_pathname)) { + continue; + } $metadata_filename = $ext_pathname . '/' . self::$ext_metaname; // Try to load metadata file. |