tree 79c2ff781a8e80207d8f199d52d96cc360f38704
parent 67871c45adc51dd1dc8c1f7b5d6047df51d31618
author Marc Kriguer <myk@google.com> 1386873520 -0800
committer Marc Kriguer <myk@google.com> 1386973197 -0800

Allow either user or password to be overridden

Current behavior:
* Default user and default password must be specified;
* Overriding both user and password for a given server is allowed;
* Overriding just the password for a given server is allowed;
* Overriding just the user for a given server gives an error.

New behavior:
* Default user and default password no longer needed.
* If a per-server user and/or password is specified, use it
  (otherwise, use the default).
* If the user and/or password is non-empty, throw the exception.