def display_httpd_message(message): if rich_output(): display( HTML('<pre style="background: NavajoWhite;">' + message + "</pre>")) else: print(terminal_escape(message))
def terminal_repr(s): return terminal_escape(repr(s))
def print_url(url): if rich_output(): display(HTML('<pre><a href="%s">%s</a></pre>' % (url, url))) else: print(terminal_escape(url))