IDOL Server 12.12
This section explains how to administer your IDOL Server installation and how to perform routine maintenance.