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