tree 903d0fa11ceea70a0b975c140f259fed9b79f3aa
parent 2f70aa8dc6656970cf2dc0870a3d75f80df5aa2f
author Narayan Kamath <narayan@google.com> 1429892349 +0100
committer Narayan Kamath <narayan@google.com> 1430473098 +0000

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