diff options
author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 15:19:43 +0200 |
---|---|---|
committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 15:19:43 +0200 |
commit | 4e2ea9ab2da792bae138916f45e4cf33ffca6ff0 (patch) | |
tree | 011bf12cdb051d4ec4cb50062881638d6789c6ee /scripts | |
parent | 82b23da6a519d4bd0923ffd2d9ec5c8e6d8f7a2f (diff) | |
parent | b88aac8b26de977f17e27645fd3d0412a6420f53 (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/build_web_resources.py | 71 |
1 files changed, 29 insertions, 42 deletions
diff --git a/scripts/build_web_resources.py b/scripts/build_web_resources.py index 919ccc1..643920e 100644 --- a/scripts/build_web_resources.py +++ b/scripts/build_web_resources.py @@ -80,9 +80,6 @@ problem_common_props = { # for common.py inside the problem subdirectory 'hint_type': {}, # type definitions of problem hints } -languages = {} # programming languages, info from database -groups = {} # problem groups, info from database - if not os.path.exists(output_path): os.mkdir(output_path) @@ -96,11 +93,11 @@ def load_translation_data(package, defaults): try: mod = server.problems.load_module(package + '.' + lang) except: - traceback.print_exc() + traceback.print_exc(limit=0) lang_data = {} result[lang] = lang_data if mod is None: - print('Could not load module {}'.format(package + '.' + lang)) + print('Could not load translation module {}'.format(package + '.' + lang)) for prop, default in defaults.items(): lang_data[prop] = default else: @@ -109,26 +106,21 @@ def load_translation_data(package, defaults): return result def load_common_data(package, defaults): - result = {} + mod = None path = os.sep.join(package.split('.')) mod_path = os.path.join(problems_path, path, 'common.py') if os.path.exists(mod_path) and os.path.isfile(mod_path): - mod = None try: mod = server.problems.load_module(package + '.common') except: - traceback.print_exc() - if mod is None: - print('Could not load module {}'.format(package + '.common')) - for prop, default in defaults.items(): - result[prop] = default - else: - for prop, default in defaults.items(): - result[prop] = getattr(mod, prop, default) - else: - print('Module {} does not exist'.format(package + '.common')) - for prop, default in defaults.items(): - result[prop] = default + print('Error loading module {}:'.format(mod_path)) + traceback.print_exc(limit=0) + if mod is None: + return None + + result = {} + for prop, default in defaults.items(): + result[prop] = getattr(mod, prop, default) return result def process_hint_type(hint_type): @@ -157,15 +149,14 @@ def copy_web_resources(package, dst_dir_fragments): node[filename] = True def dump_language_defs(data, output_path): - if data: - # sort groups and problems - groups = data['groups'] - for group in groups: - group['problems'].sort(key=lambda p: p.get('number', 0)) - groups.sort(key=lambda p: p.get('number', 0)) - # write out the JSON file - with open(os.path.join(output_path, 'language.json'), 'w') as f: - json.dump(data, f, indent=2) + # sort groups and problems + groups = data['groups'] + for group in groups: + group['problems'].sort(key=lambda p: p.get('number', 0)) + groups.sort(key=lambda p: p.get('number', 0)) + # write out the JSON file + with open(os.path.join(output_path, 'language.json'), 'w') as f: + json.dump(data, f, indent=2) conn = db.get_connection() cur = conn.cursor() @@ -191,9 +182,8 @@ def db_add(table, id, data): try: # get problem descriptors for lang_identifier in os.listdir(problems_path): - lang_path = os.path.join(problems_path, lang_identifier) - if (not os.path.exists(os.path.join(lang_path, 'common.py')) or - not os.path.exists(os.path.join(lang_path, 'problems'))): + lang_data = load_common_data(lang_identifier, language_common_props) + if lang_data is None: continue # create language output directory @@ -201,7 +191,6 @@ try: if not os.path.exists(lang_output_path): os.mkdir(lang_output_path) - lang_data = load_common_data(lang_identifier, language_common_props) lang_data['hint_type'] = process_hint_type(lang_data.get('hint_type', {})) lang_data['identifier'] = lang_identifier lang_data['groups'] = [] @@ -210,10 +199,11 @@ try: db_add('language', lang_data['id'], {'id': lang_data['id'], 'identifier': lang_identifier}) - groups_path = os.path.join(lang_path, 'problems') + groups_path = os.path.join(problems_path, lang_identifier, 'problems') for group_identifier in os.listdir(groups_path): - group_path = os.path.join(groups_path, group_identifier) - if not os.path.exists(os.path.join(group_path, 'common.py')): + group_package = lang_identifier + '.problems.' + group_identifier + group_data = load_common_data(group_package, group_common_props) + if group_data is None: continue # create group directory @@ -221,23 +211,20 @@ try: if not os.path.exists(group_output_path): os.mkdir(group_output_path) - group_package = lang_identifier + '.problems.' + group_identifier - group_data = load_common_data(group_package, group_common_props) group_data['identifier'] = group_identifier group_data['problems'] = [] group_data['translations'] = load_translation_data(group_package, group_props) db_add('problem_group', group_data['id'], {'id': group_data['id'], 'identifier': group_identifier}) + group_path = os.path.join(groups_path, group_identifier) for problem_identifier in os.listdir(group_path): - problem_path = os.path.join(group_path, problem_identifier) - if not os.path.exists(os.path.join(problem_path, 'common.py')): - continue - problem_package = group_package + '.' + problem_identifier common_data = load_common_data(problem_package, problem_common_props) - common_data['identifier'] = problem_identifier + if common_data is None: + continue + common_data['identifier'] = problem_identifier if not common_data['visible']: continue # problem is not visible, do not generate anything del common_data['visible'] # we don't need this field in the GUI |