as some of you may have noticed, jenkins got itself in a bad state multiple times over the past couple of weeks. usually restarting the service is sufficient, but it appears that i need to hit it w/the reboot hammer.
jenkins will be down for the next 20-30 minutes as the node reboots and jenkins spins back up. i'll reply here w/any updates. shane -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
