2018-02-24 21:23:04 -05:00
|
|
|
[General]
|
|
|
|
|
# Instance name can be used to distinguish between different instances
|
|
|
|
|
instanceName=
|
|
|
|
|
|
2017-11-16 23:06:16 -05:00
|
|
|
[Network]
|
2018-07-31 19:50:18 +02:00
|
|
|
# port setting is relevant only for web deployments, desktop builds run on random free port
|
2017-12-24 15:12:18 -05:00
|
|
|
port=8080
|
2017-11-16 23:55:50 -05:00
|
|
|
# true for TLS/SSL/HTTPS (secure), false for HTTP (unsecure).
|
|
|
|
|
https=false
|
|
|
|
|
# path to certificate (run "bash generate-cert.sh" to generate self-signed certificate). Relevant only if https=true
|
|
|
|
|
certPath=
|
|
|
|
|
keyPath=
|
