Rename SourceCodeEventHandler to WebideEventHandler

This commit is contained in:
Kristóf Tóth 2018-04-07 14:18:15 +02:00
parent 8043338e58
commit 4a216d8875
2 changed files with 2 additions and 2 deletions

View File

@ -4,5 +4,5 @@
from .directory_monitoring_event_handler import DirectoryMonitoringEventHandler from .directory_monitoring_event_handler import DirectoryMonitoringEventHandler
from .process_managing_event_handler import ProcessManagingEventHandler from .process_managing_event_handler import ProcessManagingEventHandler
from .terminado_event_handler import TerminadoEventHandler from .terminado_event_handler import TerminadoEventHandler
from .source_code_event_handler import SourceCodeEventHandler from .webide_event_handler import WebideEventHandler
from .history_monitor import HistoryMonitor, BashMonitor, GDBMonitor from .history_monitor import HistoryMonitor, BashMonitor, GDBMonitor

View File

@ -89,7 +89,7 @@ class FileManager: # pylint: disable=too-many-instance-attributes
return relpath(self._filepath(filename), start=self._workdir) return relpath(self._filepath(filename), start=self._workdir)
class SourceCodeEventHandler(TriggerlessEventHandler): class WebideEventHandler(TriggerlessEventHandler):
# pylint: disable=too-many-arguments # pylint: disable=too-many-arguments
def __init__(self, key, directory, allowed_directories, selected_file=None, exclude=None): def __init__(self, key, directory, allowed_directories, selected_file=None, exclude=None):
super().__init__(key) super().__init__(key)