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