def _execute(self, command):
ext = extension(self.f.original)
tlc = Invocation(command)(self.path, self.output, extension=ext)
tlc.run(self.time)
if tlc.exited and self.important:
raise TimeoutException
if tlc.returncode != 0 and self.important:
raise ProcessingException
def _execute(self, command, ignoreNonZero=False):
ext = extension(self.f.original)
tlc = Invocation(command)(self.path, self.output, extension=ext)
tlc.run(self.time if not self.ignore_limit else None)
if tlc.exited and self.important:
raise TimeoutException
if tlc.returncode != 0 and self.important and not ignoreNonZero:
raise ProcessingException
def _execute(self, command, ignoreNonZero = False):
ext = extension(self.f.original)
tlc = Invocation(command)(self.path, self.output, extension=ext)
tlc.run(self.time if not self.ignore_limit else None)
if tlc.exited and self.important:
raise TimeoutException
if tlc.returncode != 0 and self.important and not ignoreNonZero:
raise ProcessingException
def _execute(self, command):
ext = extension(self.f.original)
tlc = Invocation(command)(self.path, self.output, extension=ext)
tlc.run(self.time)
if tlc.exited and self.important:
raise TimeoutException
if tlc.returncode != 0 and self.important:
raise ProcessingException