将文件写入磁盘时，文件名中的某些字符会更改

Question

我正在编写一个小的Web抓取工具，并将html保存到本地磁盘，这样我就不必每次崩溃或更改程序时都不断拨动Web服务器获取数据。

我在将文件名写入磁盘时出现问题。这是一个示例：

Astro Bot: Rescue Mission.html

成为

Astro Bot/ Rescue Mission.html

它将'：'字符变为'/'。为什么会发生这种情况，我该如何预防呢？

以下是写入文件的代码：

def save_html_local(request_data,local_dir, local_filename):

if os.path.isdir(local_dir) is False:
    try:
        print("Local Dir exists! Saving " + local_filename + " to " + local_dir)
        os.mkdir(local_dir)
    except OSError:
        print("Directory creation failed for " + str(local_dir))
    else:
        print("Directory created for: " + str(local_dir))

html_file = open(local_dir + local_filename, "wb")
html_file.write(request_data)
html_file.close()