aboutsummaryrefslogtreecommitdiff
path: root/actions.py
diff options
context:
space:
mode:
Diffstat (limited to 'actions.py')
-rw-r--r--actions.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/actions.py b/actions.py
index 7d2b61c..295528e 100644
--- a/actions.py
+++ b/actions.py
@@ -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):