Lines Matching refs:port
3 # GUI that gets the host and port number for the ECLiPSe side. When these
31 if {($map_remote(host) != "" && $map_remote(port) != "")} {
32 ec_remote_init $map_remote(host) $map_remote(port) map_init
50 set map_remote(port) ""
59 -p {set argstate port}
67 port {
68 set map_remote(port) $arg
74 if {$map_remote(port) == ""} {
76 ;# popup a window to ask for host and port...
80 "Specify hostname and port number of ECLiPSe session to connect \
86 pack [frame .e.port] -expand true -fill both
87 pack [label .e.port.l -text "Port:"] -side left
88 pack [entry .e.port.e -textvariable map_remote(port) -relief sunken] -side right
93 bind .e.port.e <Return> attach_remote_ec
94 bind .e.port.e <Destroy> {if {!$map_remote(connected)} exit}