Menu

Commit [r971]  Maximize  Restore  History

clean up sockets interface in minor way. Eliminate socket flush.

warren 1999-07-02

changed /trunk/XSB/emu/xsbsocket.i
/trunk/XSB/emu/xsbsocket.i Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB