Include repositories from extra-paths

tvannini · Jan 16, 2022 · 2803c4f · 2803c4f
1 parent 3292872
commit 2803c4f
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/lib/jxapp.inc b/lib/jxapp.inc
@@ -2205,9 +2205,17 @@ class o2_app {
                 $file2inc = $this->dir_progs->element($repository);
                 }
             if (!include_once($file2inc)) {
+                if ($this->prgs_path_inc) {
+                    foreach ($this->prgs_path_inc as $path) {
+                        if (@include_once($path.$repository)) {
+                            return true;
+                            }
+                        }
+                    }
                 throw new o2_exception("Cannot find file <i>".$repository.
-                                       "</i> requested as repository.",
-                                       o2error_MISSINGFILE);
+                                        "</i> requested as repository.",
+                                        o2error_MISSINGFILE);
+                return false;
                 }
             }
         return true;