the jenkins process seems to be wedged again, and i think we're going to hit it w/the reboot hammer, rather than just killing/restarting the master.
this should take at most 30 mins, and i'll send an all-clear when it's done. -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
