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
@@ -81,25 +81,25 | |||
|
81 | 81 | dinit.setup do |
|
82 | 82 | copy_log = copy_script(problem_home) |
|
83 | 83 | save_copy_log(problem_home,copy_log) |
|
84 | 84 | end |
|
85 | 85 | |
|
86 | 86 | call_judge(problem_home,language,grading_dir,source_name) |
|
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 |
|
100 | 100 | @room_maker.clean_up(submission) |
|
101 | 101 | Dir.chdir(current_dir) # this is really important |
|
102 | 102 | end |
|
103 | 103 | end |
|
104 | 104 | |
|
105 | 105 | protected |
You need to be logged in to leave comments.
Login now