summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/build_web_resources.py')
-rw-r--r--scripts/build_web_resources.py16
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/build_web_resources.py b/scripts/build_web_resources.py
index d109eb0..1e465e0 100644
--- a/scripts/build_web_resources.py
+++ b/scripts/build_web_resources.py
@@ -1,6 +1,22 @@
#!/usr/bin/python3
# coding=utf-8
+# CodeQ: an online programming tutor.
+# Copyright (C) 2015 UL FRI
+#
+# This program is free software: you can redistribute it and/or modify it under
+# the terms of the GNU Affero General Public License as published by the Free
+# Software Foundation, either version 3 of the License, or (at your option) any
+# later version.
+#
+# This program is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+# FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more
+# details.
+#
+# You should have received a copy of the GNU Affero General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
"""This tool processes all problem files, and outputs JSON files to describe
problems, to be used as static web resources. It also adds missing problem
identifiers in the database.