public static void jsonDateChars( Calendar calendar, long milis, CharBuf buf ) { if (isGMT) { /* For the Unix admins of the world who avoid it all and just GMT it. */ fastJsonDateChars ( new Date(milis), buf ); return; } calendar.setTimeInMillis( milis ); int day = calendar.get( Calendar.DAY_OF_MONTH ); int month = calendar.get( Calendar.MONTH ) +1; int year = calendar.get( Calendar.YEAR ); int hour = calendar.get( Calendar.HOUR_OF_DAY ); int minute = calendar.get( Calendar.MINUTE ); int second = calendar.get( Calendar.SECOND ); int mili = calendar.get( Calendar.MILLISECOND ); buf.add( '"' ); buf.add( year ).add( '-' ); buf.add( Str.zfill( month, 2 ) ).add( '-' ); buf.add( Str.zfill ( day, 2 ) ).add('T'); buf.add( Str.zfill( hour, 2 ) ).add( ':' ); buf.add( Str.zfill( minute, 2 ) ).add( ':' ); buf.add( Str.zfill( second, 2 ) ).add( "." ); buf.add( Str.zfill( mili, 3 ) ).add( "Z" ); buf.add( '"' ); }
public static void jsonDateChars(Calendar calendar, long milis, CharBuf buf) { if (isGMT) { /* For the Unix admins of the world who avoid it all and just GMT it. */ fastJsonDateChars(new Date(milis), buf); return; } calendar.setTimeInMillis(milis); int day = calendar.get(Calendar.DAY_OF_MONTH); int month = calendar.get(Calendar.MONTH) + 1; int year = calendar.get(Calendar.YEAR); int hour = calendar.get(Calendar.HOUR_OF_DAY); int minute = calendar.get(Calendar.MINUTE); int second = calendar.get(Calendar.SECOND); int mili = calendar.get(Calendar.MILLISECOND); buf.add('"'); buf.add(year).add('-'); buf.add(Str.zfill(month, 2)).add('-'); buf.add(Str.zfill(day, 2)).add('T'); buf.add(Str.zfill(hour, 2)).add(':'); buf.add(Str.zfill(minute, 2)).add(':'); buf.add(Str.zfill(second, 2)).add("."); buf.add(Str.zfill(mili, 3)).add("Z"); buf.add('"'); }