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
@@ -429,7 +429,7 | |||||
|
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 |
You need to be logged in to leave comments.
Login now