Searched refs:was_interrupted (Results 1 – 1 of 1) sorted by relevance
774 int was_interrupted = 0; in process_ssi_stmt() local786 was_interrupted++; in process_ssi_stmt()788 was_interrupted = 0; in process_ssi_stmt()794 was_interrupted = 0; in process_ssi_stmt()820 was_interrupted = 0; in process_ssi_stmt()823 …} while (was_interrupted > 0 && was_interrupted < 4); /* if waitpid() gets interrupted, retry, but… in process_ssi_stmt()