Description:
removed commented dir clear scripts
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r138:34806c3fad9c - - 1 file changed: 1 inserted, 1 deleted
@@ -87,13 +87,13 | |||||
|
87 |
|
87 | ||
|
88 | @reporter.report(submission,"#{grading_dir}/test-result") |
|
88 | @reporter.report(submission,"#{grading_dir}/test-result") |
|
89 |
|
89 | ||
|
90 | dinit.teardown do |
|
90 | dinit.teardown do |
|
91 | copy_log = load_copy_log(problem_home) |
|
91 | copy_log = load_copy_log(problem_home) |
|
92 | clear_copy_log(problem_home) |
|
92 | clear_copy_log(problem_home) |
|
93 |
- |
|
93 | + clear_script(copy_log,problem_home) |
|
94 | end |
|
94 | end |
|
95 |
|
95 | ||
|
96 | rescue RuntimeError => msg |
|
96 | rescue RuntimeError => msg |
|
97 | @reporter.report_error(submission, msg) |
|
97 | @reporter.report_error(submission, msg) |
|
98 |
|
98 | ||
|
99 | ensure |
|
99 | ensure |
You need to be logged in to leave comments.
Login now