# HG changeset patch
# User Jittat Fakcharoenphol <jittat@gmail.com>
# Date 2010-04-25 10:36:26
# Node ID 5d4a79b51f8cd9347aaaa31424d178b2d95eae14
# Parent  e28e189186fff1116236b7566b3099b539c97162
# Parent  d7245804ecdbcdbd1f128ef86da0727af3bc96dd

Merge branch 'master' into windows

diff --git a/std-script/compile b/std-script/compile
--- a/std-script/compile
+++ b/std-script/compile
@@ -18,7 +18,7 @@
   if ENV['GRADER_LOGGING']!=nil
     log_fname = ENV['GRADER_LOGGING']
     fp = File.open(log_fname,"a")
-    fp.puts("run: #{Time.new.strftime("%H:%M")} #{str}")
+    fp.puts("run: #{Time.new.strftime("%H:%M")} #{msg}")
     fp.close
   end
 end