From 906eefd998cfbd1aa40f265a980c3c8cec422a2b Mon Sep 17 00:00:00 2001 From: Yifan Liu <44556003+liuyifan-eric@users.noreply.github.com> Date: Sat, 10 Dec 2022 03:07:53 -0600 Subject: [PATCH] Update tools/global_servers/diff_resource.py Co-authored-by: Horror Proton <107091537+horror-proton@users.noreply.github.com> --- tools/global_servers/diff_resource.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/global_servers/diff_resource.py b/tools/global_servers/diff_resource.py index daa4678aef..7699cbc6b9 100644 --- a/tools/global_servers/diff_resource.py +++ b/tools/global_servers/diff_resource.py @@ -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)