Merge pull request #75194 from ator-dev/download-source-fix

Fix "Download Project Source" for Web Editor
This commit is contained in:
Yuri Sizov 2023-03-22 11:34:44 +01:00 committed by GitHub
commit 0291fcd7b6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -75,7 +75,7 @@ void WebToolsEditorPlugin::_download_zip() {
const String project_name_safe = project_name.to_lower().replace(" ", "_"); const String project_name_safe = project_name.to_lower().replace(" ", "_");
const String datetime_safe = const String datetime_safe =
Time::get_singleton()->get_datetime_string_from_system(false, true).replace(" ", "_"); Time::get_singleton()->get_datetime_string_from_system(false, true).replace(" ", "_");
const String output_name = OS::get_singleton()->get_safe_dir_name(vformat("%s_%s.zip")); const String output_name = OS::get_singleton()->get_safe_dir_name(vformat("%s_%s.zip", project_name_safe, datetime_safe));
const String output_path = String("/tmp").path_join(output_name); const String output_path = String("/tmp").path_join(output_name);
zipFile zip = zipOpen2(output_path.utf8().get_data(), APPEND_STATUS_CREATE, nullptr, &io); zipFile zip = zipOpen2(output_path.utf8().get_data(), APPEND_STATUS_CREATE, nullptr, &io);