[Hcoop-discuss] Server pricing

[Adam Chlipala]

So does anyone disagree now that our next server configuration should be 
one file server, one primary server that most members can't log into, 
and one server that members are allowed to log into?

This isn't a statement about when we should set this configuration up; 
if we agree on this, we can evaluate the cost and see what time and 
number of members are appropriate before moving forward.