133             }

   133             }

   134 

   134 

   135     def refresh(self):

   135     def refresh(self):

   136         s = os.stat(os.path.join(self.path, ".hg", "00changelog.i"))

   136         s = os.stat(os.path.join(self.path, ".hg", "00changelog.i"))

   137         if s.st_mtime != self.mtime:

   137         if s.st_mtime != self.mtime:

   138             self.repo = repository(ui(), self.path)

   139             self.repo = repository(ui(), self.path)

   139 

   140 

   140     def date(self, cs):

   141     def date(self, cs):

   141         return time.asctime(time.gmtime(float(cs[2].split(' ')[0])))

   142         return time.asctime(time.gmtime(float(cs[2].split(' ')[0])))

   142 

   143