diff options
| author | Ivan Shakhov <Ivan.Shakhov@jetbrains.com> | 2019-12-16 20:34:30 +0100 |
|---|---|---|
| committer | Ivan Shakhov <Ivan.Shakhov@jetbrains.com> | 2019-12-16 20:34:30 +0100 |
| commit | 7c64779516441ad5b6fe20084d10e895fefa0f01 (patch) | |
| tree | 688ebe21f84592f1d29541f9e9dcec8e3288633c /modules | |
| parent | 21dec856f2a7482fc69e18ffc60f64e90e10fcc5 (diff) | |
Allow attaching any external profiler, including JetBrains dotTrace
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/mono/mono_gd/gd_mono.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/modules/mono/mono_gd/gd_mono.cpp b/modules/mono/mono_gd/gd_mono.cpp index 33ba877352..d73984c0f1 100644 --- a/modules/mono/mono_gd/gd_mono.cpp +++ b/modules/mono/mono_gd/gd_mono.cpp @@ -102,6 +102,18 @@ void gd_mono_profiler_init() { bool profiler_enabled = GLOBAL_DEF("mono/profiler/enabled", false); if (profiler_enabled) { mono_profiler_load(profiler_args.utf8()); + return; + } + + const String env_var_name = "MONO_ENV_OPTIONS"; + if (OS::get_singleton()->has_environment(env_var_name)) { + const auto mono_env_ops = OS::get_singleton()->get_environment(env_var_name); + // Usually MONO_ENV_OPTIONS looks like: --profile=jb:prof=timeline,ctl=remote,host=127.0.0.1:55467 + const String prefix = "--profile="; + if (mono_env_ops.begins_with(prefix)) { + const auto ops = mono_env_ops.substr(prefix.length(), mono_env_ops.length()); + mono_profiler_load(ops.utf8()); + } } } |