// Check whether we are in an execution
// FIXME: do it more properly (not static)
// see https://www.argeo.org/bugzilla/show_bug.cgi?id=82
// Check whether we are in an execution
// FIXME: do it more properly (not static)
// see https://www.argeo.org/bugzilla/show_bug.cgi?id=82