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]
[client]
[reservations]
[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" [reservations] # names=svc,qa #[reservation.qa] # license=TAB#XXXXXXXX # count=10 # expiry-date=2021/12/31 [access.allow] # TAB#AAA00004="hostA,hostb" [access.deny] # RAA#AAA00001="hostA,hostb" # ...