Example #1
0
 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
Example #2
0
    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
Example #3
0
    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
Example #4
0
 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
Example #5
0
 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