diff --git a/grader_id b/grader_id --- a/grader_id +++ b/grader_id @@ -6,13 +6,6 @@ end end -def execute(command, error_message="") - if not system(command) - puts "ERROR: #{error_message}" - exit(127) - end -end - def save_source(submission,dir,fname) f = File.open("#{dir}/#{fname}","w") f.write(submission.source) @@ -81,18 +74,6 @@ save_result(sub,read_result("#{problem_out_dir}/test-result")) end -def stop_grader - File.open(File.dirname(__FILE__) + '/stop','w') -end - -def check_stopfile - FileTest.exist?(File.dirname(__FILE__) + '/stop') -end - -def clear_stopfile - system("rm " + File.dirname(__FILE__) + '/stop') -end - # reading environment and options GRADER_ENV = 'exam' puts "environment: #{GRADER_ENV}" @@ -106,5 +87,3 @@ current_dir = `pwd` grade(ARGV[0].to_i) - -