equal
deleted
inserted
replaced
263 // Parse string com.sun.management.prop=xxx,com.sun.management.prop=yyyy |
263 // Parse string com.sun.management.prop=xxx,com.sun.management.prop=yyyy |
264 // and return property set if args is null or empty |
264 // and return property set if args is null or empty |
265 // return empty property set |
265 // return empty property set |
266 private static Properties parseString(String args) { |
266 private static Properties parseString(String args) { |
267 Properties argProps = new Properties(); |
267 Properties argProps = new Properties(); |
268 if (args != null && !args.trim().equals("")) { |
268 if (args != null && !args.trim().isEmpty()) { |
269 for (String option : args.split(",")) { |
269 for (String option : args.split(",")) { |
270 String s[] = option.split("=", 2); |
270 String s[] = option.split("=", 2); |
271 String name = s[0].trim(); |
271 String name = s[0].trim(); |
272 String value = (s.length > 1) ? s[1].trim() : ""; |
272 String value = (s.length > 1) ? s[1].trim() : ""; |
273 |
273 |