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

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