From bd3a8f88575db3799492a33bca20758c67908a01 Mon Sep 17 00:00:00 2001 From: Martin Polanka Date: Tue, 9 Aug 2016 12:41:05 +0200 Subject: [PATCH] isoeval -> recodex --- Configuration-and-usage.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Configuration-and-usage.md b/Configuration-and-usage.md index 335d9be..38c206d 100644 --- a/Configuration-and-usage.md +++ b/Configuration-and-usage.md @@ -57,13 +57,13 @@ headers: - python threads: 2 hwgroup: "group1" -working-directory: /tmp/isoeval +working-directory: /tmp/recodex file-managers: - hostname: "http://localhost:9999" # port is optional username: "" # can be ignored in specific modules password: "" # can be ignored in specific modules file-cache: # only in case that there is cache module - cache-dir: "/tmp/isoeval/cache" + cache-dir: "/tmp/recodex/cache" logger: file: "/var/log/recodex/worker" # w/o suffix - actual names will be worker.log, worker.1.log, ... level: "debug" # level of logging @@ -82,7 +82,7 @@ limits: ISOLATE_BOX: "/box" ISOLATE_TMP: "/tmp" bound-directories: - - src: /tmp/isoeval/eval_5 + - src: /tmp/recodex/eval_5 dst: /evaluate mode: RW,NOEXEC ```