Fix format string discrepancy between ctime and asctime

Author: msimacek

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/modules/TimeModuleBuiltins.java

@@ -87,6 +87,7 @@
 public final class TimeModuleBuiltins extends PythonBuiltins {
     private static final int DELAY_NANOS = 10;
     private static final long PERF_COUNTER_START = TruffleOptions.AOT ? 0 : System.nanoTime();
+    private static final String CTIME_FORMAT = "%s %s %2d %02d:%02d:%02d %d";
 
     @Override
     protected List<? extends NodeFactory<? extends PythonBuiltinBaseNode>> getNodeFactories() {
@@ -850,16 +851,14 @@ private static long op(int[] integers) {
     @GenerateNodeFactory
     public abstract static class CTimeNode extends PythonBuiltinNode {
 
-        private static final String FORMAT = "%s %s %2d %02d:%02d:%02d %d";
-
         @Specialization
         public String localtime(VirtualFrame frame, Object seconds,
                         @Cached ToLongTime toLongTime) {
             return format(getIntLocalTimeStruct(toLongTime.execute(frame, seconds)));
         }
 
         protected static String format(int[] tm) {
-            return ASCTimeNode.format(FORMAT, tm);
+            return ASCTimeNode.format(CTIME_FORMAT, tm);
         }
     }
 
@@ -868,7 +867,6 @@ protected static String format(int[] tm) {
     @GenerateNodeFactory
     public abstract static class ASCTimeNode extends PythonBuiltinNode {
 
-        private static final String FORMAT = "%s %s %02d %02d:%02d:%02d %d";
         static final String[] WDAY_NAME = new String[]{
                         "Mon", "Tue", "Wed", "Thu", "Fri", "Sat", "Sun"
         };
@@ -892,7 +890,7 @@ public String localtime(PTuple time,
         }
 
         protected static String format(int[] tm) {
-            return format(FORMAT, tm);
+            return format(CTIME_FORMAT, tm);
         }
 
         @TruffleBoundary