# HG changeset patch
# User Nattee Niparnan <nattee@gmail.com>
# Date 2014-09-28 04:42:02
# Node ID c2734213b50cada473bceff0cdbd668c2a0c30ec
# Parent  29d3adfcaa1c87599e849bf7f404f7e4208dd244
# Parent  1bdb8b71a4623e53d238a57583eac0ab93443cb1

merge

diff --git a/grader b/grader
--- a/grader
+++ b/grader
@@ -429,7 +429,7 @@
   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