Merge branch 'dev' of github.com:dbpedia/databus into dev

dbpedia · May 15, 2024 · bb4f594 · bb4f594
2 parents 729944f + c7274ab
commit bb4f594
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 1 deletion.
diff --git a/public/js/components/file-browser/file-browser.html b/public/js/components/file-browser/file-browser.html
@@ -34,7 +34,7 @@
       <div style="display: flex; align-items: center;">
         <div ng-if="!$ctrl.isLoading" style="margin-right: 1em;">{{ $ctrl.numFiles }} file(s) / {{
           $ctrl.totalSize }}</div>
-        <collection-editor-widget selection='$ctrl.node'></collection-editor-widget>
+        <collection-editor-widget ng-if="$ctrl.config.authenticated" selection='$ctrl.node'></collection-editor-widget>
       </div>
     </div>
 

diff --git a/public/js/page-controller/artifact-controller.js b/public/js/page-controller/artifact-controller.js
@@ -44,6 +44,7 @@ function ArtifactPageController($scope, $http, $sce, $location, collectionManage
 
   $scope.fileSelector = {};
   $scope.fileSelector.config = {};
+  $scope.fileSelector.config.authenticated = $scope.authenticated;
   $scope.fileSelector.config.columns = [];
   $scope.fileSelector.config.columns.push({ field: 'version', label: 'Version', width: '30%' });
   $scope.fileSelector.config.columns.push({ field: 'variant', label: 'Variant', width: '30%' });

diff --git a/public/js/page-controller/group-controller.js b/public/js/page-controller/group-controller.js
@@ -136,6 +136,7 @@ function GroupPageController($scope, $http, $sce, $interval, $location, collecti
 
   $scope.fileSelector = {};
   $scope.fileSelector.config = {};
+  $scope.fileSelector.config.authenticated = $scope.authenticated;
   $scope.fileSelector.config.columns = [];
   $scope.fileSelector.config.columns.push({ field: 'artifact', label: 'Artifact', width: '30%', uriToName: true });
   $scope.fileSelector.config.columns.push({ field: 'version', label: 'Version', width: '21%' });

diff --git a/public/js/page-controller/version-controller.js b/public/js/page-controller/version-controller.js
@@ -167,6 +167,7 @@ function VersionPageController($scope, $http, $sce, $location, collectionManager
 
   $scope.fileSelector = {};
   $scope.fileSelector.config = {};
+  $scope.fileSelector.config.authenticated = $scope.authenticated;
   $scope.fileSelector.config.columns = [];
   $scope.fileSelector.config.columns.push({ field: 'variant', label: 'Variant', width: '45%' });
   $scope.fileSelector.config.columns.push({ field: 'format', label: 'Format', width: '15%' });

diff --git a/server/package.json b/server/package.json
@@ -37,6 +37,7 @@
     "node-rsa": "^1.1.1",
     "openid-client": "^5.6.5",
     "pem-jwk": "^2.0.0",
+    "proxy-agent": "^6.4.0",
     "rdf-ext": "^1.3.1",
     "rdf-parse": "^1.8.0",
     "rdf-validate-shacl": "^0.3.2",