Searched refs:disconnect_handler (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dremote_tools.pl69 set_event_handler(ControlStream, disconnect_handler/0),
109 disconnect_handler :- label
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembremote.tex1302 disconnect_handler :- % just terminate ECLiPSe execution
1308 set_event_handler(control, disconnect_handler/0)),

Completed in 94 milliseconds