Dave Borowitz e8b7303fb9 Support setting default UI in gerrit.config ...

The value of gerrit.ui chooses the default UI when the user doesn't
request a different preference via argument or cookie. Sanity check
during startup that the value of gerrit.ui is an enabled UI.

Change-Id: I5f18d3d0a252a886de4ae166a158e19c40eed82f

2016-09-19 17:33:23 +02:00

..

com/google/gerrit/httpd

Support setting default UI in gerrit.config

2016-09-19 17:33:23 +02:00