# IMPORTANT NOTES:
#
# * Replace the string "licenseserver" with the IP address or the hostname
#   or fully qualified domain name (FQDN) of the license server. If the
#   hostname or FQDN is used, verify that the client computer can resolve
#   it to the correct IP address.
#
# * If the license server uses a port other than 27000-27009, specify the
#   port number after the keyword ANY, e.g. for port 3456:
#   SERVER licenseserver ANY 3456
#   USE_SERVER
#
# * After editing this file, make sure you save it as a plain ASCII file
#   or as a UTF-8 file without Byte Order Mark.
#
# --- cut here ---
SERVER licserv02.rz.hs-heilbronn.de ANY 1746
USE_SERVER
# --- cut here ---