Update tools/global_servers/diff_resource.py

Co-authored-by: Horror Proton <107091537+horror-proton@users.noreply.github.com>
This commit is contained in:
Yifan Liu
2022-12-10 03:07:53 -06:00
committed by GitHub
parent d7d8b36fb0
commit 906eefd998

View File

@@ -87,7 +87,7 @@ os.makedirs(out_dir)
for i in diff_files:
# print(i)
shutil.copyfile(os.path.join(zh_dir, i), os.path.jgitoin(out_dir, i))
shutil.copyfile(os.path.join(zh_dir, i), os.path.join(out_dir, i))
print("Pictures not included in", server_name,
"server resources is copied to diff_image/" + server_name)