Maintain IDOL Server

This section describes some IDOL Server maintenance tasks.