Notification
Previously, Seabird (the CORAL web reservation interface) only displayed messages for tool problem reports. Now, when a tool is shutdown by the tool manager, the shutdown message(s) will also be displayed.