tree 9e205f3424d57a756ea4ec9a6db4998a212caf97
parent e194e7f6cabcbeb82ffe5340f2e759df6930be40
author Shawn O. Pearce <sop@google.com> 1261258699 -0800
committer Shawn O. Pearce <sop@google.com> 1261258699 -0800

Completely remove GerritServer.properties

We now load our database settings in hosted development mode from
the $site_path/etc/gerrit.config, just like we would under daemon.
This reduces the number of weird configurations that are supported.

Change-Id: I0a13f16dd74bdb034d05650eadd5e36771109f3e
Signed-off-by: Shawn O. Pearce <sop@google.com>