使用Python实现GET请求下载文件

要使用Python实现下载文件的功能，你可以使用`requests`库来发送GET请求，并设置必要的请求头。以下是一个简单的示例代码，演示如何使用Python下载文件：

import requests

# 文件下载的URL
url = "http://10.80.0.231/api/v2/doc/download/?id=249359,249356"

# 需要的请求头
headers = {
    "Cookie": "1",
    "X-CSRFToken": "2"
}

# 发送GET请求
response = requests.get(url, headers=headers)

# 检查请求是否成功
if response.status_code == 200:
    # 假设服务器响应的是一个文件，我们将其保存到本地
    with open("downloaded_file.pdf", "wb") as f:
        f.write(response.content)
    print("文件下载成功")
else:
    print("文件下载失败，状态码：", response.status_code)

请注意，这段代码假设服务器返回的是一个可以直接写入文件的二进制内容。如果服务器返回的是一个重定向或者需要进一步处理的响应，你可能需要根据实际情况调整代码。

此外，由于网络问题或服务器配置问题，实际使用时可能需要处理更多的异常情况，例如网络连接错误、超时等。你可以使用`try...except`语句来捕获这些异常，并进行相应的错误处理。

在运行此代码之前，请确保你已经安装了`requests`库。如果没有安装，可以通过以下命令进行安装：

pip install requests

最后，请根据你的实际环境和需求调整上述代码中的文件名和路径。