“Internet 选项”指定用于从 Internet 打开文件的设置。
图 13.15 Internet 选项
首选项 | 说明 |
---|---|
从 Internet 打开超时 | 当您使用“从 Internet 打开”打开网页时,JMP 会等待指定的秒数,之后才会因错停止导入。默认值是 60 秒。 |
代理服务器 | 指定代理主机。http(或 https)需要包括在规范中。若未使用协议,则假定采用 http。 |
代理端口 | 指定用于连接代理主机的端口。若未指定,则端口为 443(对于 http),对于其他所有 (https) 端口则为 1080。 |
代理用户 | 为代理指定可选用户。并非所有代理设置都需要用户。 |
绕过代理 | 指定要绕过的主机的可选逗号分隔列表(即,不通过代理)。用户可能希望过滤出位于公司防火墙(不需要代理)后面的主机。 |