diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-11 07:33:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-11 07:33:34 +0200 |
commit | 8a459c03dd5abfefad75313da0e00685bb199ce4 (patch) | |
tree | 373b2583761bbd24fe76f272f408051cf5073fd3 /modules/mono/mono_gd/gd_mono_utils.cpp | |
parent | 40670288948cc1066ea1504e62a98c53702d10d0 (diff) | |
parent | 8c438a21976d701d95b375f28fd40fc85da7ef36 (diff) |
Merge pull request #32732 from neikeq/fix-release-api-assemblies-update-check
C#: Fix detection of outdated release Godot API assemblies
Diffstat (limited to 'modules/mono/mono_gd/gd_mono_utils.cpp')
-rw-r--r-- | modules/mono/mono_gd/gd_mono_utils.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/modules/mono/mono_gd/gd_mono_utils.cpp b/modules/mono/mono_gd/gd_mono_utils.cpp index e385f4c601..6504fbe423 100644 --- a/modules/mono/mono_gd/gd_mono_utils.cpp +++ b/modules/mono/mono_gd/gd_mono_utils.cpp @@ -550,6 +550,8 @@ MonoObject *create_managed_from(const Dictionary &p_from, GDMonoClass *p_class) } MonoDomain *create_domain(const String &p_friendly_name) { + print_verbose("Mono: Creating domain '" + p_friendly_name + "'..."); + MonoDomain *domain = mono_domain_create_appdomain((char *)p_friendly_name.utf8().get_data(), NULL); if (domain) { |