Workbench doesn't display server in header section

Description

InfoServlet serves up http://host/openrdf-workbench/repositories/reponame/info with the server location in a <url> element. The template.xsl file expects the server location as a <literal> element, so it isn't getting inserted into the header section when rendering the HTML.

Environment

Tomcat7, Ubuntu Gnome 13.04 64-bit

Status

Assignee

Dale W. Visser

Reporter

Dale W. Visser

Labels

None

Components

Fix versions

Affects versions

Priority

Minor
Configure