From b9de849ab8e684734a4c703253be08315e0d3699 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 3 Sep 2025 11:45:56 +0200
Subject: [PATCH] use ExtensionMgr created in inc.Extension.php, use proxy
 settings

---
 out/out.Info.php | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/out/out.Info.php b/out/out.Info.php
index 04338665d..7376f7cbd 100644
--- a/out/out.Info.php
+++ b/out/out.Info.php
@@ -39,8 +39,14 @@ if (!$user->isAdmin()) {
 
 $v = new SeedDMS_Version;
 $versions = array();
+
+if($settings->_proxyUrl)
+	$context = getStreamContext($settings->_proxyUrl, $settings->_proxyUser, $settings->_proxyPassword);
+else
+	$context = null;
+
 if(@ini_get('allow_url_fopen') == '1') {
-	$lines = @file('http://www.seeddms.org/latest?version='.$v->version(), FILE_IGNORE_NEW_LINES|FILE_SKIP_EMPTY_LINES);
+	$lines = @file('http://www.seeddms.org/latest?version='.$v->version(), FILE_IGNORE_NEW_LINES|FILE_SKIP_EMPTY_LINES, $context);
 	if($lines) {
 		foreach($lines as $line) {
 			$versions[] = explode(':', $line);
@@ -48,14 +54,14 @@ if(@ini_get('allow_url_fopen') == '1') {
 	}
 }
 
-$reposurl = $settings->_repositoryUrl;
-$extmgr = new SeedDMS_Extension_Mgr($settings->_rootDir."/ext", $settings->_cacheDir, $reposurl);
+//$reposurl = $settings->_repositoryUrl;
+//$extMgr = new SeedDMS_Extension_Mgr($settings->_rootDir."/ext", $settings->_cacheDir, $reposurl);
 
 if($view) {
 	$view->setParam('version', $v);
 	$view->setParam('availversions', $versions);
 	$view->setParam('accessobject', $accessop);
-	$view->setParam('extmgr', $extmgr);
+	$view->setParam('extmgr', $extMgr);
 	$view($_GET);
 	exit;
 }