Portal Outage

The Portal’s database server decided to regenerate its DHCP identifier and acquire a new address today. An outage resulted. This should be fixed.