Re: [PATCH] make downloads.dpi use http_user_agent from dillorc
Rodrigo Arias <[email protected]> Mon, 9 Sep 2024 20:54:24 +0200
| Newsgroups | gmane.comp.web.dillo.devel |
|---|---|
| Message-ID | <[email protected]> |
On Tue, Sep 03, 2024 at 01:51:18PM +0200, [email protected] wrote: >Hi, > >Here is a patch which allows wget called from downloads.dpi to use the >user agent provided in dillorc, and fallback to the hardcoded >Dillo/version agent if not defined. Thanks Alex!, I'll queue it. Best, Rodrigo. _______________________________________________ Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected] To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]