Searched refs:socket_got_callback (Results 1 – 1 of 1) sorted by relevance
5028 global socket_cookie server socket_got_callback5050 set socket_got_callback 15051 if {$db} {puts stderr "socket_got_callback $socket_got_callback"}5055 global socket_cookie server socket_got_callback5063 set socket_got_callback 05141 if {$socket_got_callback != 0} {5149 if {$socket_got_callback == 0} {5150 set aftid [after 10000 {set socket_got_callback 2}]5151 tkwait variable socket_got_callback5158 if {$socket_got_callback != 1} {