[ library(remote_tools) | Reference Manual | Alphabetic Index ]

attach_tools

Initiate the attachment of remote development tools

Description

Initiate the attachment of the remote development tools. This will create a connection waiting for the remote development tools to be attached to. It will print the hostname and the port number that should be given to the development tools. The remote development tools should be started and supplied with the hostname and port number. Once this is done, the development tools are ready to be used. Control is initially given back to ECLiPSe when the tools have been attached.

Fail Conditions

Development tools already attached.

Resatisfiable

no

See Also

tools / 0, attach_tools / 3