sdds_time.py 文件源码

def toString(t1, fmt=None):
         gmt = t1.gmtime()
         frac =  int(t1.pf250_ * (Time.Tic/Time.Two32))
         if not fmt:
              fmt = Time.REDHAWK_FORMAT
              xx=time.strftime(fmt,gmt)
              return '%s.%06d' % (xx,frac)
         else:
              return time.strftime(fmt,gmt)