436388 - Allow case-insensitive STOP.KEY and STOP.PORT use

+ Internal (to start.jar) use of properties are now case-insensitive
This commit is contained in:
Joakim Erdfelt 2014-06-06 12:30:00 -07:00
parent 11b08b77e6
commit 646d85a68b
1 changed files with 2 additions and 2 deletions

View File

@ -23,12 +23,12 @@ import static org.eclipse.jetty.start.UsageException.*;
import java.io.IOException; import java.io.IOException;
import java.io.OutputStream; import java.io.OutputStream;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.HashMap;
import java.util.Iterator; import java.util.Iterator;
import java.util.List; import java.util.List;
import java.util.Map; import java.util.Map;
import java.util.Properties; import java.util.Properties;
import java.util.Stack; import java.util.Stack;
import java.util.TreeMap;
import java.util.regex.Matcher; import java.util.regex.Matcher;
import java.util.regex.Pattern; import java.util.regex.Pattern;
@ -98,7 +98,7 @@ public final class Props implements Iterable<Prop>
return l; return l;
} }
private Map<String, Prop> props = new HashMap<>(); private Map<String, Prop> props = new TreeMap<>(String.CASE_INSENSITIVE_ORDER);
private List<String> sysPropTracking = new ArrayList<>(); private List<String> sysPropTracking = new ArrayList<>();
public void addAll(Props other) public void addAll(Props other)