Description:
merge
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r177:c2734213b50c - - 1 file changed: 1 inserted, 1 deleted
@@ -426,13 +426,13 | |||||
|
426 | #set loggin environment |
|
426 | #set loggin environment |
|
427 | ENV['GRADER_LOGGING'] = log_file_name |
|
427 | ENV['GRADER_LOGGING'] = log_file_name |
|
428 | if options[:err_log] |
|
428 | if options[:err_log] |
|
429 | err_file_name = log_file_name + '.err' |
|
429 | err_file_name = log_file_name + '.err' |
|
430 | $stderr.reopen(err_file_name,"a") |
|
430 | $stderr.reopen(err_file_name,"a") |
|
431 | log "STDERR log to file [#{err_file_name}]" |
|
431 | log "STDERR log to file [#{err_file_name}]" |
|
432 | - warn "start logging for grader PID #{Process.id} on #{Time.now.in_time_zone}" |
|
432 | + warn "start logging for grader PID #{Process.pid} on #{Time.now.in_time_zone}" |
|
433 | end |
|
433 | end |
|
434 |
|
434 | ||
|
435 |
|
435 | ||
|
436 | # register exit handler to report inactive, and terminated |
|
436 | # register exit handler to report inactive, and terminated |
|
437 | at_exit do |
|
437 | at_exit do |
|
438 | if grader_proc!=nil |
|
438 | if grader_proc!=nil |
You need to be logged in to leave comments.
Login now