redundant server configuration

A redundant server designates a set of three nodes to serve the same license file. The license file then has three SERVER lines and lmgrd is started on all three nodes. This configuration is supported on UNIX only and is not recommended by ESRI or by Globetrotter.