Example: flmprofile

License Manager configuration file details with example.

The flmprofile configuration file is in INI format. Configuration entries are in the format name-of-resource=value. Entries are grouped under the following categories:
  • [server]
  • [log]
  • [access.deny]
  • [access.allow]
Categories are enclosed in square braces ([ ]). You can write entries under the categories or write them including the category name using dot notation. For example, these entries are the same:
  • [server] 
    host=localhost
  • server.host=localhost
You can add comments by writing a pound sign (#) or semi-colon (;) before the text or resource.
 # This is a comment
 ; This is a comment too

Example: License manager configuration file

# Four Js License Manager configuration
[server]
# FLM host
 host=localhost

# Default service port
port=6800

# If defined, a pidfile will be created.
# It contains the process id of the running flmprg instance.
pidfile="${FLMDIR}/pidfile"

[log]
# Enable / disable logging - values: true | false
enabled=true

# Directory where log files are generated
directory="${FLMDIR}/log"

# Logged categories - values: error, info, warning, debug
# Debug category will produce an additional log file with
# the extension .dlog.
categories="error,warning,info" # debug

# The flmprg service will rotate log files automatically.
# Parameters are:
#   . maxfiles
#   . maxsize

# maxfiles: Number of log files to keep
# Default value: -1 (no limit)
# maxfiles=5

# maxsize: Rotate automatically when the specified size is reached.
# Default value: -1 (no limit)
# maxsize="512M"

[access.allow]
# TAB#AAA00004="hostA,hostb"

[access.deny]
# RAA#AAA00001="hostA,hostb"

# ...