cdt/cdt_6_0_x/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/internal/GdbPlugin.java
changeset 96 defec9d2b40a
parent 37 c2bce6dd59e7
equal deleted inserted replaced
95:fafaec74d446 96:defec9d2b40a
   148         if (millis < 100) traceBuilder.append('0');
   148         if (millis < 100) traceBuilder.append('0');
   149         if (millis < 10) traceBuilder.append('0');
   149         if (millis < 10) traceBuilder.append('0');
   150         traceBuilder.append(millis);
   150         traceBuilder.append(millis);
   151         return traceBuilder.toString();
   151         return traceBuilder.toString();
   152     }
   152     }
       
   153     
       
   154 	/**
       
   155 	 * Convenience method which returns the unique identifier of this plugin.
       
   156 	 */
       
   157 	public static String getUniqueIdentifier() {
       
   158 		if (getDefault() == null) {
       
   159 			// If the default instance is not yet initialized,
       
   160 			// return a static identifier. This identifier must
       
   161 			// match the plugin id defined in plugin.xml
       
   162 			return PLUGIN_ID;
       
   163 		}
       
   164 		return getDefault().getBundle().getSymbolicName();
       
   165 	}
       
   166 
   153 
   167 
   154 }
   168 }