eclipse-platform / eclipse.platform.resources

Eclipse Public License 2.0
3 stars 18 forks source link

fix some multithreading issues in Resource Notification #47

Closed jukzi closed 2 years ago

jukzi commented 2 years ago

The javadoc of ResourceChangeListenerList.getListeners() was wrong: subsequent adds of same listener (with different modifier) would have changed the inside of the array.

eclipse-releng-bot commented 2 years ago

The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-47/1/

eclipse-releng-bot commented 2 years ago

The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-47/2/