[build system] jenkins process wedged, need to do restart

[shane knapp <sk...@berkeley.edu>]

of course, on my first day back from vacation, i notice that the
jenkins process got wedged immediately upon my visiting the page.

one quick jenkins/httpd restart later and we're back up and building.
sorry for any inconvenience!

shane

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@spark.apache.org
For additional commands, e-mail: dev-help@spark.apache.org