eclipse-platform / eclipse.platform.resources

Eclipse Public License 2.0
3 stars 18 forks source link

AutoBuildOffJob.run() should check if workbench is shutting down #176 #177

Closed trancexpress closed 2 years ago

trancexpress commented 2 years ago

This change adjusts AutoBuildOffJob.run() to not do anything if the platform is shutting down, preventing exceptions during work done by the job.

Fixes: #176

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-177/1/