diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2019-02-16 17:44:42 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2019-02-16 19:07:33 +0100 |
commit | 448ff2cd1168ccee81f848238170ad156a3684b4 (patch) | |
tree | 986de33116f7b313b61a1807e402222298de0f1b /kpov_judge/settings-example.py | |
parent | dd9eaef3b467ffe1693ceeee4a0398d191945faf (diff) |
Create disk images in multiple formats
Refactor some code in create_disk_images.oy into a »prepare_disks«
function that creates disk images in the given format for one task.
Store paths to images in multiple formats in the database and update
the front-end.
Diffstat (limited to 'kpov_judge/settings-example.py')
-rw-r--r-- | kpov_judge/settings-example.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kpov_judge/settings-example.py b/kpov_judge/settings-example.py index 00003f7..34e70c3 100644 --- a/kpov_judge/settings-example.py +++ b/kpov_judge/settings-example.py @@ -4,7 +4,7 @@ DB_URI='mongodb://kpov:SomeSuperSecretPassword@kpov.fri.uni-lj.si:27017/kpov' # SNAPSHOTS_ROOT='/home/andrejtolic/kpov/snapshots/' DISK_TEMPLATE_PATH = '/home/kpov/disks/templates' STUDENT_DISK_PATH='/home/kpov/disks/students' -STUDENT_DISK_FORMAT='vdi' +STUDENT_DISK_FORMAT=['vdi', 'vmdk'] STUDENT_DISK_COW=False # dokler Andrej ne popravi... STUDENT_DISK_URL='https://my_html_server.com/kpov-disks/' STUDENT_LOCKFILE_PATH='/home/kpov/disks/lockfiles' |