cafe-grader-judge-scripts Commit

cafe-grader-judge-scripts

parent | child

Description:

merge

Commit status:

[Not Reviewed]

References:

merge java

Diff options:

| | | |

Comments:

0 Commit comments 0 Inline Comments

Unresolved TODOs:

There are no unresolved TODOs

Add another comment

r177:c2734213b50c - Sun, 28 Sep 2014 04:42:02 - 1 file changed: 1 inserted, 1 deleted

grader ¶ +1 -1

                                                      Process.pid,
                                                      grader_mode)
               else
                 grader_proc = nil
               end
               #set loggin environment
               ENV['GRADER_LOGGING'] = log_file_name
               if options[:err_log]
                 err_file_name = log_file_name + '.err'
                 $stderr.reopen(err_file_name,"a")
                 log "STDERR log to file [#{err_file_name}]"
-            -   warn "start logging for grader PID #{Process.id} on #{Time.now.in_time_zone}"
+            +   warn "start logging for grader PID #{Process.pid} on #{Time.now.in_time_zone}"
               end
               # register exit handler to report inactive, and terminated
               at_exit do
                 if grader_proc!=nil
                   grader_proc.report_inactive
                   grader_proc.terminate
                 end
               end
               #

You need to be logged in to leave comments. Login now

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository permissions settings