OpenGrok

46 class Errors:
176     def __init__ (self, errors):
177         self.errors = errors
313                 self.errors.report (pathname,
347                 self.errors.report (pathname, 'missing copyright holder')
351                 self.errors.report (pathname,
381                 self.errors.report (pathname, str (e))
441                             self.errors.report (pathname,
448         if changed and self.errors.ok():
475         self.errors = Errors()
476         self.copyright = copyright (self.errors)
527                 self.errors.report (None, 'unrecognised option: ' + arg)
528         if self.errors.ok():
542                         self.errors.report (None, 'unrecognised directory: '
544         sys.exit (0 if self.errors.ok() else 1)
584     def __init__ (self, errors):
585         Copyright.__init__ (self, errors)

Indexes created Thu May 07 00:24:58 UTC 2026