Integrated: Fix refreshing of existing seeded folder

Wed Oct 28 07:48:02 UTC 2020

On Tue, 27 Oct 2020 12:46:05 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> When a potentially stale materialization is used, we must ensure that the seed is still refreshed periodically.

This pull request has now been integrated.

Changeset: 30426551
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/30426551
Stats:     39 lines in 1 file changed: 7 ins; 15 del; 17 mod

Fix refreshing of existing seeded folder

Reviewed-by: ehelin

-------------

PR: https://git.openjdk.java.net/skara/pull/924