Function interrupted

src/engine/execcmd.cpp:110–113

/* Returns whether an interrupt has been detected so far. */

int interrupted( void )
{
    return intr != 0;
}


/* Internal interrupt handler. */