diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-24 15:02:23 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-24 15:02:23 +0200 |
commit | 55cb98184b1342cb04c69ea47c268fdc3cbb3c52 (patch) | |
tree | 649f593e9575106b907e856a4615698b9edae3c8 | |
parent | 2839592b2a4282340b1374ec56fe4e3490050cfa (diff) |
Create WEB_OUTPUT directory if it doesn't exist
-rw-r--r-- | scripts/build_web_resources.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build_web_resources.py b/scripts/build_web_resources.py index f90ce24..44a2073 100644 --- a/scripts/build_web_resources.py +++ b/scripts/build_web_resources.py @@ -54,6 +54,9 @@ problem_common_props = { # for common.py inside the problem subdirectory languages = {} # programming languages, info from database groups = {} # problem groups, info from database +if not os.path.exists(output_path): + os.mkdir(output_path) + conn = db.get_connection() cur = conn.cursor() |