FTP. */
char *output_document; /* The output file to which the
documents will be printed. */
+ int od_known_regular; /* whether output_document is a
+ regular file we can manipulate,
+ i.e. not `-' or a device file. */
FILE *dfp; /* The file pointer to the output
document. */
int use_proxy; /* Do we use proxy? */
int proxy_cache; /* Do we load from proxy cache? */
- char *http_proxy, *ftp_proxy;
+ char *http_proxy, *ftp_proxy, *https_proxy;
char **no_proxy;
char *base_href;
char *proxy_user; /*oli*/