Default.ini

Group

Key

Values

Default

Description

Network

proxy

host:port explorer

explorer

Sets the proxy for Internet access.

You can fine-tune the proxy for a certain protocol (http, https, ftp, ftps) by using the keys “http_proxy”, “https_proxy”, “ftp_proxy”, or “ftps_proxy”.

The proxy value “explorer” takes the system proxy in Windows environments.

Language

Default

English_USA

English_USA

Logging

Default

1/0

0

Logging

File

1/0

1

Logging

Tracelevel

0-5

0

Logging

Flushtime

1-n

1

Indicates seconds between the internal log flashes.