Operations - Section
This section allows to configure options concerning to:
Scheduling
Pilots
InputDataPolicy
Job description
Service Shifters
Virtual Organization special parameters
List of options
MainServers: List of server names (no protocol, no port) to be used as MainServer