Description:
fix bug
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r176:1bdb8b71a462 - - 1 file changed: 1 inserted, 1 deleted
@@ -420,25 +420,25 | |||
|
420 | 420 | Process.pid, |
|
421 | 421 | grader_mode) |
|
422 | 422 | else |
|
423 | 423 | grader_proc = nil |
|
424 | 424 | end |
|
425 | 425 | |
|
426 | 426 | #set loggin environment |
|
427 | 427 | ENV['GRADER_LOGGING'] = log_file_name |
|
428 | 428 | if options[:err_log] |
|
429 | 429 | err_file_name = log_file_name + '.err' |
|
430 | 430 | $stderr.reopen(err_file_name,"a") |
|
431 | 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 | 433 | end |
|
434 | 434 | |
|
435 | 435 | |
|
436 | 436 | # register exit handler to report inactive, and terminated |
|
437 | 437 | at_exit do |
|
438 | 438 | if grader_proc!=nil |
|
439 | 439 | grader_proc.report_inactive |
|
440 | 440 | grader_proc.terminate |
|
441 | 441 | end |
|
442 | 442 | end |
|
443 | 443 | |
|
444 | 444 | # |
You need to be logged in to leave comments.
Login now