diff options
Diffstat (limited to 'actions.py')
| -rw-r--r-- | actions.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -130,7 +130,7 @@ def _mypy(args: JSON, config: AgentConfig) -> JSON: def _webgrep(args: JSON, config: AgentConfig) -> JSON: '{"action": "webgrep", "url": URL, "keywords": KEYWORD_LIST} - find case-insensitive matches in markdownified content of URL for keywords in KEYWORD_LIST plus some context on both sides' - match fetch_and_markdownify(args["url"]): + match fetch_and_markdownify(args["url"], proxy=config.socks5_proxy): case FetchError(e): return {"status": "error", "reason": e} case FetchSuccess(content): |
