cdt/cdt_6_0_x/org.eclipse.cdt.debug.core/src/org/eclipse/cdt/debug/core/executables/ExecutablesManager.java
changeset 137 f800d58f08b0
parent 135 6f8730b7758d
equal deleted inserted replaced
135:6f8730b7758d 137:f800d58f08b0
   103 					trace("Getting executables for project: " + project.getName() + " using " + provider.toString());
   103 					trace("Getting executables for project: " + project.getName() + " using " + provider.toString());
   104 
   104 
   105 					// store the list of executables for this project
   105 					// store the list of executables for this project
   106 					synchronized (executablesMap) {
   106 					synchronized (executablesMap) {
   107 						List<Executable> executables = provider.getExecutables(project, subMonitor.newChild(1, SubMonitor.SUPPRESS_NONE));
   107 						List<Executable> executables = provider.getExecutables(project, subMonitor.newChild(1, SubMonitor.SUPPRESS_NONE));
   108 						if (executables != null) {
   108 						if (!subMonitor.isCanceled()) {
   109 							executablesMap.put(project, executables);
   109 							executablesMap.put(project, executables);
   110 						}
   110 						}
   111 					}
   111 					}
   112 				}
   112 				}
   113 			}
   113 			}