diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2017-06-10 16:28:18 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2017-06-10 23:34:35 +0200 |
| commit | b76275ab12b8d12dd6458d951d2e4f37572df1a8 (patch) | |
| tree | 623bb9b251d3ab8012337e63099348268cb76d8e /main | |
| parent | fc1368bee00301ef7c789982474876c5a6ea9854 (diff) | |
Fix `network/debug/remote_port` editor setting not working properly
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/main/main.cpp b/main/main.cpp index e13fb8d3db..e00c136596 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -581,12 +581,11 @@ Error Main::setup(const char *execpath, int argc, char *argv[], bool p_second_ph GLOBAL_DEF("memory/multithread/thread_rid_pool_prealloc", 60); GLOBAL_DEF("network/debug/max_remote_stdout_chars_per_second", 2048); - GLOBAL_DEF("network/debug/remote_port", 6007); if (debug_mode == "remote") { ScriptDebuggerRemote *sdr = memnew(ScriptDebuggerRemote); - uint16_t debug_port = GLOBAL_GET("network/debug/remote_port"); + uint16_t debug_port = 6007; if (debug_host.find(":") != -1) { int sep_pos = debug_host.find_last(":"); debug_port = debug_host.substr(sep_pos + 1, debug_host.length()).to_int(); |