tree ca41c174bc1fb76f58552c1aca9d41db88f32567
parent 45d2fccc6f75f0ce96c1a908cd5db91de17f0d14
author Ivan Pilat <ivanpi@google.com> 1431127197 -0700
committer Ivan Pilat <ivanpi@google.com> 1431127216 -0700

playground/pgadmin: Convert to cmdline2.

Also fixed incorrect assumption about default flag values (different
values for same flag variable depending on invoked command are not
supported).

Change-Id: I577e0bdca1d7041b63e5cad53f68b0e53b3ba714