public static void recordPath(String key, String path) { if (key==null || !recordPath) { recordPath = true; return; } key = trimKey(key); path = fixPath(path); path = addQuotes(path); if (commandOptions!=null && commandOptions.contains(key+"="+path)) return; // don't record duplicate checkForDuplicate(key+"=", path); if (commandOptions==null || commandOptions==" ") commandOptions = key+"="+path; else commandOptions += " "+key+"="+path; }
public static void recordPath(String key, String path) { if (key==null || !recordPath) { recordPath = true; return; } key = trimKey(key); path = fixPath(path); path = addQuotes(path); if (commandOptions!=null && commandOptions.contains(key+"="+path)) return; // don't record duplicate checkForDuplicate(key+"=", path); if (commandOptions==null || commandOptions==" ") commandOptions = key+"="+path; else commandOptions += " "+key+"="+path; }
public static void recordOption(String key, String value) { if (key==null) return; key = fixString(key); key = trimKey(key); value = addQuotes(value); checkForDuplicate(key+"=", value); if (commandOptions==null) commandOptions = key+"="+value; else commandOptions += " "+key+"="+value; }
public static void recordOption(String key, String value) { if (key==null) return; key = fixString(key); key = trimKey(key); value = addQuotes(value); checkForDuplicate(key+"=", value); if (commandOptions==null) commandOptions = key+"="+value; else commandOptions += " "+key+"="+value; }