version of graphdb-workbench not used with -Dgraphdb.workbench.home

[smoretti]

Hi

We use our own customized graphdb-workbench with the main GraphDB distribution.

We use -Dgraphdb.workbench.home for this but we saw that the workbench version displayed at the bottom of the main GraphDB web page still refers to the one from the main GraphDB distribution.

E.g. GraphDB 9.10.3 • RDF4J 3.7.3 • Connectors 15.1.4 • Workbench 1.10.2 • © 2002–2022 Ontotext AD. All rights reserved.

Is there a way to display the right workbench version?

[svilenvelikov]

@desislava-hristova-ontotext