Norman Maurer cb0d23923f Refresh DNS configuration each 5 minutes. (#8468) ... Motivation: We should refresh the DNS configuration each 5 minutes to be able to detect changes done by the user. This is inline with what OpenJDK is doing Modifications: Refresh config every 5 minutes. Result: Be able to consume changes made by the user.		2018-11-16 10:37:29 +01:00
..
src	Refresh DNS configuration each 5 minutes. (#8468)	2018-11-16 10:37:29 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2018-10-29 15:38:51 +00:00