DISCOVER's Maintenance Toolbox This is a simple toolbox for maintenance of the servers in DISCOVER Lab.