store server socket descriptors so they can be closed at will
This commit is contained in:
parent
887c546d00
commit
d4fb14a0bb
|
|
@ -4426,23 +4426,31 @@ proc source_user_tcl_files {} {
|
|||
}
|
||||
|
||||
proc setup_tcp_xschem {} {
|
||||
global xschem_listen_port
|
||||
global xschem_listen_port xschem_server_getdata
|
||||
if { [info exists xschem_listen_port] && ($xschem_listen_port ne {}) } {
|
||||
if {[catch {socket -server xschem_server $xschem_listen_port} err]} {
|
||||
puts "problems listening to TCP port: $xschem_listen_port"
|
||||
puts $err
|
||||
return 0
|
||||
} else {
|
||||
set xschem_server_getdata(server) $err
|
||||
}
|
||||
}
|
||||
return 1
|
||||
}
|
||||
|
||||
proc setup_tcp_bespice {} {
|
||||
global bespice_listen_port
|
||||
global bespice_listen_port bespice_server_getdata
|
||||
if { [info exists bespice_listen_port] && ($bespice_listen_port ne {}) } {
|
||||
if {[catch {socket -server bespice_server $bespice_listen_port} err]} {
|
||||
puts "problems listening to TCP port: $bespice_listen_port"
|
||||
puts $err
|
||||
return 0
|
||||
} else {
|
||||
set bespice_server_getdata(server) $err
|
||||
}
|
||||
}
|
||||
return 1
|
||||
}
|
||||
|
||||
###
|
||||
|
|
|
|||
Loading…
Reference in New Issue