def build(self): try: db = Database(self.env, lang=self.lang) builder = Builder(db.new_pad(), self.output_path) builder.build_all() except Exception: traceback.print_exc() else: self.last_build = time.time()
def build(self, update_source_info_first=False): try: db = Database(self.env) builder = Builder(db.new_pad(), self.output_path) if update_source_info_first: builder.update_all_source_infos() builder.build_all() builder.prune() except Exception: traceback.print_exc() else: self.last_build = time.time()
def build(self, update_source_info_first=False): try: db = Database(self.env) builder = Builder(db.new_pad(), self.output_path, build_flags=self.build_flags) if update_source_info_first: builder.update_all_source_infos() builder.build_all() if self.prune: builder.prune() except Exception: traceback.print_exc() else: self.last_build = time.time()
def get_pad(self): db = Database(self.env, lang=self.lang) pad = db.new_pad() return pad
def get_pad(self): db = Database(self.env) pad = db.new_pad() return pad