Variable

Summary

The default TCP port number for the IDE side remote debugging server.

Package

dbg

Initial Value

21101.

Description

Description

The value of the variable *default-ide-remote-debugging-server-port* is the default port for start-ide-remote-debugging-server and the initial default for configure-remote-debugging-spec and with-remote-debugging-spec.

Note that if you change the port number on one side you must change it to the same number on the other side.

See also

start-ide-remote-debugging-server
configure-remote-debugging-spec
with-remote-debugging-spec
Remote debugging