tree c2872ac340d0a068d8263ea1205ab67f249cccac
parent b169524a9a0cf916b429193801f4bacb7fe91fc1
author margaretha <margaretha@ids-mannheim.de> 1768810775 +0100
committer margaretha <margaretha@ids-mannheim.de> 1768810775 +0100

Always update VC statistics at server start

Statistics is always calculated before storing/updating a VC in the
database. For existing VC, it is done after checking VC-cache as the
cache is used for the statistics calculation.

Change-Id: Ib1de5bf4dd539d16c54c883374eaef8e7280ef04