commit d55ec4af4b7ca211728b4c22ba28f9a1bfeb401c
author David Gross <dgross@google.com> Tue Mar 27 15:48:03 2018 -0700
committer David Gross <dgross@google.com> Tue Mar 27 15:48:03 2018 -0700
tree fb67a59315bd81a17f362a1d751d16e2884bf0e7
parent 585b7224ba5a67984e1eff8825d242747229ef8f

Change debug.nn.vlog to accept comma or colon as separator.

debug.nn.vlog took a space-separated list of tokens. It can be difficult
to set a property value containing embedded spaces. Therefore, allow a
comma or a colon as an alternative separator -- i.e., any pair of tokens
can be separated by a space, a comma, or a colon.

Bug: 72883369

Test: hand experimentation with various values for the property
Change-Id: I98c627e83eca16cf8b8ca7fdc14cc313274efb2e