Build result summary

Details

	Commit	Message	Commit date
daryl herzmann <akrherz@iastate.edu>	854f74af9ba3f5ffae549521601974c6d10ce3ce	Merge pull request #1656 from guusdk/OF-1972_OF-1973_PluginManager-improvements OF-1972 and OF-1973 plugin manager improvements	05 Jul 2020
daryl herzmann <akrherz@iastate.edu>	7b79de5e2a889e5f11a85f1525246739e04b0b9c	Merge pull request #1671 from guusdk/OF-2051_version-check-improvements Minor improvements to the automatic version check functionality	05 Jul 2020
Guus der Kinderen	34a86a45a587b4859ead1c7764ca3a4146cf3745	OF-1972: Make PluginManager thread-safe Using the CJIP-based annotations, some thread-safety has been added, which should ensure that the internal state of the PluginManager is always consistent.	04 Jul 2020
Guus der Kinderen	4a10718ea12791979243c03f892fcf48ad3cb7af	OF-1973: Prevent future-timestamped jar files from restarting the installation process.	04 Jul 2020
Guus der Kinderen	ff9e1344ae7e1cc53c678470e5d1081ec6bcfebb	OF-2051: Do not send version query to connections that are closed Additionally, make the timeout after which the version query is sent configurable.	04 Jul 2020

Issue		Description
Unknown Issue Type	OF-1972	Could not obtain issue details from Jira
Unknown Issue Type	OF-1973	Could not obtain issue details from Jira
Unknown Issue Type	OF-2051	Could not obtain issue details from Jira
Unknown Issue Type	OF-2052	Could not obtain issue details from Jira