source debug: Remove unused platform_port (#1403)

This commit is contained in:
YAMAMOTO Takashi
2022-08-24 17:39:32 +09:00
committed by GitHub
parent d41543f829
commit 5586f7b82d
6 changed files with 3 additions and 11 deletions

View File

@ -408,7 +408,6 @@ wasm_runtime_full_init(RuntimeInitArgs *init_args)
#if WASM_ENABLE_DEBUG_INTERP != 0
if (strlen(init_args->ip_addr))
if (!wasm_debug_engine_init(init_args->ip_addr,
init_args->platform_port,
init_args->instance_port)) {
wasm_runtime_destroy();
return false;