Finer-grained timeout

Currently, the initial lua-methodcall is timed. It would be useful to have a more fine-grained control, for example only timing the mx and if it times out, have some nice handling code.

The solution would be to introduce explicit lua timing which then calls a provided timeout method in the idp code. Pointers: http://lua-users.org/lists/lua-l/2006-10/msg00764.html

A better/easier solution would be to add a new inference bool time(lua-closure, timeout)

which starts a timer thread and then executes the lua-closure. If it times out, true is returned, false otherwise.

Comments (3)