Server options file gets a dot.

Server options file gets a dot.

[pquitslund, 2015-07-30 21:21:24]

pquitslund@google.com changed reviewers:
+ brianwilkerson@google.com, scheglov@google.com, sethladd@google.com

[pquitslund, 2015-07-30 21:21:24]

Seth's idea and I don't object.

Any reason for this to NOT be hidden?

[sethladd, 2015-07-30 21:26:00]

We can bike shed on the name later, but +1 for moving to a dot file. :)

lgtm

[scheglov, 2015-07-30 21:28:35]

Same here, the name may be different, but adding dot is a step in the right
direction :-)

[Brian Wilkerson, 2015-07-30 21:31:26]

LGTM

The only consideration I know of is how dot files are handled by some source
control systems, but I don't think those concerns apply in this case.

[pquitslund, 2015-07-30 22:56:38]

On 2015/07/30 21:26:00, sethladd wrote:
> We can bike shed on the name later, but +1 for moving to a dot file. :)
> 
> lgtm

Bike-shed away! : https://github.com/dart-lang/sdk/issues/23927

[sethladd, 2015-07-30 23:08:20]

lgtm