the host serving the reverse proxy to jenkins is wedged and is being rebooted now. jenkins is still up and happily building, so no jenkins restart required.
shane -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
