commit | bb3beca471e368c8f5fbf2331e71fc85194f3549 | [log] [tgz] |
---|---|---|
author | Narayan Kamath <narayan@google.com> | Fri Apr 24 17:19:09 2015 +0100 |
committer | Narayan Kamath <narayan@google.com> | Fri May 01 09:38:18 2015 +0000 |
tree | 903d0fa11ceea70a0b975c140f259fed9b79f3aa | |
parent | 2f70aa8dc6656970cf2dc0870a3d75f80df5aa2f [diff] |
Don't accept [path|file|line].separator from the commandline. We hardcode these values elsewhere in the system, so we shouldn't open ourselves up to inconsistent behaviour when these things are overriden from the command line. It's already impossible to override them using System.setProperty and friends. bug: 20133619 Change-Id: I7bc0d9009c91f0b9b74cfee076bbb38b6f2d2a2c