ext/rest.py
changeset 8697 574bb05e40a4
parent 8695 358d8bed9626
child 8711 64a400eea6dd
equal deleted inserted replaced
8696:0bb18407c053 8697:574bb05e40a4
   167         severe = state_machine.reporter.severe(
   167         severe = state_machine.reporter.severe(
   168               'Problem with "%s" directive:\n%s: %s'
   168               'Problem with "%s" directive:\n%s: %s'
   169               % (name, error.__class__.__name__, error),
   169               % (name, error.__class__.__name__, error),
   170               nodes.literal_block(block_text, block_text), line=lineno)
   170               nodes.literal_block(block_text, block_text), line=lineno)
   171         return [severe]
   171         return [severe]
   172     if options.has_key('literal'):
   172     if 'literal' in options:
   173         literal_block = nodes.literal_block(include_text, include_text,
   173         literal_block = nodes.literal_block(include_text, include_text,
   174                                             source=path)
   174                                             source=path)
   175         literal_block.line = 1
   175         literal_block.line = 1
   176         return literal_block
   176         return literal_block
   177     else:
   177     else: