bud11 had a kernel panic and had to be rebooted.
bud23 was using bud11 and didn't recover itself, so it also had to be
rebooted.
All buds seem to be working properly now.
---- Brian McAllister Senior Software Engineer mcallister@mit.edu Bates Research & Engineering Center (617) 253-9537 Middleton, MA
This archive was generated by hypermail 2.1.2 : Mon Feb 24 2014 - 14:07:33 EST