e7da92df1aabbba7318b737e98eca36582b1be1f - gerrit/platform/eclipse.platform.runtime - Git at Google

commit: e7da92df1aabbba7318b737e98eca36582b1be1f
[log]
author: John Arthorne <johna>
Tue Jun 03 21:28:40 2003 +0000
committer: John Arthorne <johna>
Tue Jun 03 21:28:40 2003 +0000
tree: 43377bb7c830f0299a549f3badae57d86a5b96b7
parent: d32852d758a4574cc2c85f2d77f2277d28b025db [diff]

Don't allow job to schedule if already scheduled

bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/jobs/JobManager.java[diff]

1 file changed

tree: 43377bb7c830f0299a549f3badae57d86a5b96b7