def __init__(self): if Observer is not None and not judgeenv.no_watchdog: self._handler = SendProblemsHandler() self._monitor = monitor = Observer() for dir in get_problem_roots(): monitor.schedule(self._handler, dir, recursive=True) else: self._monitor = None
def __init__(self): if Observer is not None and not judgeenv.no_watchdog: if 'update_pings' in judgeenv.env: self._refresher = RefreshWorker(judgeenv.env['update_pings']) else: self._refresher = None self._handler = SendProblemsHandler(self._refresher) self._monitor = monitor = Observer() for dir in get_problem_roots(): monitor.schedule(self._handler, dir, recursive=True) else: self._monitor = None self._refresher = None
def __init__(self): if Observer is not None and not judgeenv.no_watchdog: if 'update_pings' in judgeenv.env: logger.info('Using thread to ping urls: %r', judgeenv.env['update_pings']) self._refresher = RefreshWorker(judgeenv.env['update_pings']) else: self._refresher = None self._handler = SendProblemsHandler(self._refresher) self._monitor = monitor = Observer() for dir in get_problem_roots(): monitor.schedule(self._handler, dir, recursive=True) logger.info('Scheduled for monitoring: %s', dir) else: self._monitor = None self._refresher = None
def __init__(self): global startup_warnings self.current_submission = None self.current_grader = None self.current_submission_thread = None self._terminate_grading = False if Observer is not None: handler = SendProblemsHandler(self) self._monitor = monitor = Observer() for dir in get_problem_roots(): monitor.schedule(handler, dir, recursive=True) try: monitor.start() except OSError: startup_warnings.append('failed to start filesystem monitor') self._monitor = None else: self._monitor = None
def __init__(self): global startup_warnings self.current_submission = None self.current_grader = None self.current_submission_thread = None self._terminate_grading = False if Observer is not None and not judgeenv.no_watchdog: handler = SendProblemsHandler(self) self._monitor = monitor = Observer() for dir in get_problem_roots(): monitor.schedule(handler, dir, recursive=True) try: monitor.start() except OSError: startup_warnings.append('failed to start filesystem monitor') self._monitor = None else: self._monitor = None