Support random debug port by assigning port = 0 (#807)

Support random debug port by assigning port = 0,
and update help and document.
This commit is contained in:
Xu Jun
2021-10-30 15:44:41 +08:00
committed by GitHub
parent 40ca5469dc
commit 83df8600f7
4 changed files with 18 additions and 7 deletions

View File

@ -53,6 +53,7 @@ print_help()
#endif
#if WASM_ENABLE_DEBUG_INTERP != 0
printf(" -g=ip:port Set the debug sever address, default is debug disabled\n");
printf(" if port is 0, then a random port will be used\n");
#endif
return 1;
}