chore: update server.py

minor fix
This commit is contained in:
Ikko Eltociear Ashimine 2024-11-28 14:35:52 +09:00 • committed by GitHub
commit b16a541c2e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -47,7 +47,7 @@ def get_robots_txt_url(url: str) -> str:
async def check_may_autonomously_fetch_url(url: str, user_agent: str): async def check_may_autonomously_fetch_url(url: str, user_agent: str):
""" """
Check if the URL can be fetched by the user agent according to the robots.txt file. Check if the URL can be fetched by the user agent according to the robots.txt file.
Raises an McpError if not. Raises a McpError if not.
""" """
from httpx import AsyncClient, HTTPError from httpx import AsyncClient, HTTPError