Commit d254b776 authored by Camil Staps's avatar Camil Staps 🚀

Fix frontend container; common-problems.json cannot be in shared volume

parent 786fcbce
......@@ -9,4 +9,3 @@ node_modules/
backend/clean-compiler/
db/storage/
cache
frontend/common-problems.json
......@@ -13,8 +13,8 @@ if (file_exists('conf.php'))
require_once('conf.php');
$common_problems = [];
if (file_exists('common-problems.json'))
$common_problems = json_decode(file_get_contents('common-problems.json'), true);
if (file_exists('/var/common-problems.json'))
$common_problems = json_decode(file_get_contents('/var/common-problems.json'), true);
$start_time = microtime(true);
......
......@@ -84,7 +84,7 @@ if __name__ == '__main__':
if f != 'README.md':
problems.append(index(f))
with open('common-problems.json', 'w') as f:
with open('/var/common-problems.json', 'w') as f:
f.write(json.dumps(problems))
call(['rm', '-r', '-f', 'common-problems'])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment