scripts/search-index
changeset 95 ebdbda3dd5d0
parent 94 6673de9bc911
child 98 8c6e36849f9a
equal deleted inserted replaced
94:6673de9bc911 95:ebdbda3dd5d0
   275 
   275 
   276             if not options.quiet :
   276             if not options.quiet :
   277                 print "reloading all:",
   277                 print "reloading all:",
   278 
   278 
   279         # stat for mtime
   279         # stat for mtime
   280         # XXX: replace with single utils.mtime()
   280         else :
   281         elif os.path.exists(statefile_path) :
   281             # stat for mtime, None if unknown
   282             # get last update date for channel
   282             mtime = utils.mtime(statefile_path, ignore_missing=True)
   283             mtime = utils.from_utc_timestamp(os.stat(statefile_path).st_mtime)
   283 
   284             
   284             if mtime and not options.quiet :
   285             if not options.quiet :
       
   286                 print "last load=%s:" % mtime,
   285                 print "last load=%s:" % mtime,
   287 
   286 
   288         else :
   287             elif not options.quiet :
   289             # unknown, load all
       
   290             mtime = None
       
   291             
       
   292             if not options.quiet :
       
   293                 print "no previous load state:",
   288                 print "no previous load state:",
   294  
   289  
   295         # only after some specific date?
   290         # only after some specific date?
   296         if options.after :
   291         if options.after :
   297             after = options.after
   292             after = options.after