Description:
fix bug
Commit status:
[Not Reviewed]
References:
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Add another comment

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