cdt/cdt_6_0_x/org.eclipse.cdt.debug.core/src/org/eclipse/cdt/debug/core/executables/ExecutablesManager.java
changeset 135 6f8730b7758d
parent 72 451134ee4e6e
child 136 c488f61fb898
equal deleted inserted replaced
133:996f2f4e33c7 135:6f8730b7758d
   102 				if (provider != null) {
   102 				if (provider != null) {
   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 						executablesMap.put(project, 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) {
       
   109 							executablesMap.put(project, executables);
       
   110 						}
   108 					}
   111 					}
   109 				}
   112 				}
   110 			}
   113 			}
   111 			
   114 			
   112 			// notify the listeners
   115 			// notify the listeners