Menu

Commit [r8395]  Maximize  Restore  History

Added cancel_sleeper_thread for making timed_call work with XSB/Ergo break.

tswift 2015-06-22

changed /trunk/XSB/emu/builtin.c
changed /trunk/XSB/emu/builtin.h
changed /trunk/XSB/emu/subp.c
changed /trunk/XSB/emu/subp.h
/trunk/XSB/emu/builtin.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/builtin.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/subp.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/subp.h Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB