2018-01-10 15:47:25 +00:00
|
|
|
from shutil import copy, rmtree, copytree
|
2018-02-08 13:45:07 +00:00
|
|
|
from os.path import splitext, isfile, join, relpath
|
2018-02-06 17:22:37 +00:00
|
|
|
from glob import glob
|
2018-01-10 15:47:25 +00:00
|
|
|
|
2018-01-31 14:50:52 +00:00
|
|
|
from tfw.util import SupervisorMixin
|
|
|
|
from tfw.config import LOGIN_APP_DIR
|
|
|
|
from tfw.event_handler_base import EventHandlerBase
|
2018-01-10 15:47:25 +00:00
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
from tfw.config.logs import logging
|
|
|
|
log = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
class FileManager:
|
|
|
|
def __init__(self, source_directory, working_directory, selected_file=None):
|
|
|
|
self._sourcedir = source_directory
|
|
|
|
self._workdir = working_directory
|
|
|
|
self._reload_files()
|
2018-02-08 13:45:07 +00:00
|
|
|
self.filename = selected_file or self._relpath(self.files[0])
|
2018-02-06 17:22:37 +00:00
|
|
|
self.language = map_file_extension_to_language(self.filename)
|
|
|
|
|
|
|
|
def select_file(self, filename):
|
2018-02-07 13:50:29 +00:00
|
|
|
if not filename in self.files:
|
2018-02-07 11:02:53 +00:00
|
|
|
raise EnvironmentError('No such file in workdir!')
|
2018-02-06 17:22:37 +00:00
|
|
|
self.filename = filename
|
|
|
|
self.language = map_file_extension_to_language(self.filename)
|
|
|
|
|
|
|
|
@property
|
|
|
|
def files(self):
|
2018-02-08 13:45:07 +00:00
|
|
|
return [self._relpath(file) for file in glob(join(self._workdir, '**/*'), recursive=True) if isfile(file)]
|
2018-02-06 17:22:37 +00:00
|
|
|
|
|
|
|
@property
|
|
|
|
def file_contents(self):
|
2018-02-08 13:13:14 +00:00
|
|
|
with open(self._filepath(self.filename), 'r', errors='surrogateescape') as ifile:
|
2018-02-06 17:22:37 +00:00
|
|
|
return ifile.read()
|
|
|
|
|
|
|
|
@file_contents.setter
|
|
|
|
def file_contents(self, value):
|
2018-02-08 13:13:14 +00:00
|
|
|
with open(self._filepath(self.filename), 'w', errors='surrogateescape') as ofile:
|
2018-02-06 17:22:37 +00:00
|
|
|
ofile.write(value)
|
|
|
|
|
|
|
|
def _filepath(self, filename):
|
|
|
|
return join(self._workdir, filename)
|
|
|
|
|
2018-02-08 13:45:07 +00:00
|
|
|
def _relpath(self, filename):
|
|
|
|
return relpath(self._filepath(filename), start=self._workdir)
|
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
def _reload_files(self):
|
|
|
|
rmtree(self._workdir, ignore_errors=True)
|
|
|
|
copytree(self._sourcedir, self._workdir)
|
|
|
|
|
2018-01-10 15:47:25 +00:00
|
|
|
|
2018-01-24 11:17:15 +00:00
|
|
|
class SourceCodeEventHandler(EventHandlerBase, SupervisorMixin):
|
2018-02-07 11:02:53 +00:00
|
|
|
def __init__(self, anchor, directory, process_name=None, selected_file=None):
|
2018-01-25 14:24:42 +00:00
|
|
|
super().__init__(anchor)
|
2018-02-07 11:02:53 +00:00
|
|
|
self.filemanager = FileManager(directory, LOGIN_APP_DIR, selected_file=selected_file)
|
|
|
|
self.process_name = process_name
|
|
|
|
|
2018-01-18 13:35:53 +00:00
|
|
|
self.commands = {
|
2018-02-06 17:22:37 +00:00
|
|
|
'read': self.read,
|
2018-02-07 11:02:53 +00:00
|
|
|
'write': self.write,
|
|
|
|
'select': self.select
|
2018-01-18 13:35:53 +00:00
|
|
|
}
|
2018-01-10 15:47:25 +00:00
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
# Supervisor needs these to run the login program
|
|
|
|
copy('source_code_server/server.py', LOGIN_APP_DIR)
|
|
|
|
copy('source_code_server/users.db', LOGIN_APP_DIR)
|
2018-01-17 15:33:34 +00:00
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
def read(self, data_json):
|
2018-01-17 13:34:27 +00:00
|
|
|
data_json['data'] = {
|
2018-02-06 17:22:37 +00:00
|
|
|
'filename': self.filemanager.filename,
|
|
|
|
'content': self.filemanager.file_contents,
|
2018-02-07 13:50:29 +00:00
|
|
|
'language': self.filemanager.language,
|
|
|
|
'files': self.filemanager.files
|
2018-01-17 13:34:27 +00:00
|
|
|
}
|
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
def write(self, data_json):
|
|
|
|
self.filemanager.file_contents = data_json['data']['content']
|
2018-02-08 13:54:00 +00:00
|
|
|
data_json['data']['files'] = self.filemanager.files
|
2018-02-06 14:34:43 +00:00
|
|
|
self.restart_process()
|
2018-01-10 15:47:25 +00:00
|
|
|
|
2018-02-07 11:02:53 +00:00
|
|
|
def select(self, data_json):
|
|
|
|
try:
|
|
|
|
self.filemanager.select_file(data_json['data']['filename'])
|
|
|
|
except EnvironmentError:
|
|
|
|
log.critical('Failed to select file "{}"'.format(data_json['data']['filename']))
|
|
|
|
|
2018-02-06 17:22:37 +00:00
|
|
|
def handle_event(self, anchor, data_json):
|
|
|
|
data = data_json['data']
|
|
|
|
self.commands[data['command']](data_json)
|
|
|
|
return data_json
|
2018-01-10 15:47:25 +00:00
|
|
|
|
|
|
|
|
|
|
|
def map_file_extension_to_language(filename):
|
|
|
|
language_map = {
|
|
|
|
# TODO: extend, maybe auto-generate???
|
|
|
|
'.py': 'python',
|
|
|
|
'.js': 'javascript'
|
|
|
|
}
|
|
|
|
_, extension = splitext(filename)
|
2018-02-07 11:02:53 +00:00
|
|
|
language = 'javascript'
|
|
|
|
try: language = language_map[extension]
|
|
|
|
except KeyError: log.debug('No such extension in list, falling back to default: "{}".'.format(language))
|
|
|
|
return language
|