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 | 88 | @reporter.report(submission,"#{grading_dir}/test-result") |
|
89 | 89 | |
|
90 | 90 | dinit.teardown do |
|
91 | 91 | copy_log = load_copy_log(problem_home) |
|
92 | 92 | clear_copy_log(problem_home) |
|
93 |
- |
|
|
93 | + clear_script(copy_log,problem_home) | |
|
94 | 94 | end |
|
95 | 95 | |
|
96 | 96 | rescue RuntimeError => msg |
|
97 | 97 | @reporter.report_error(submission, msg) |
|
98 | 98 | |
|
99 | 99 | ensure |
You need to be logged in to leave comments.
Login now