fix version number creation in server

Description

The version number included for Sesame Server is currently hand-configured in http-server/src/main/webapp/WEB-INF/web.xml. It should be tweaked to be automatically generated on build (e.g. by using $ { project.version } and filtering).

Environment

None

Status

Assignee

Jeen Broekstra

Reporter

Jeen Broekstra

Labels

Components

Fix versions

Priority

Minor
Configure