Tue Sep 20 07:01:50 UTC 2005 Alberto Bertogli <albertogli@telpin.com.ar>

* Replace tabs with spaces for nicer output.

Tabs need to be replaced with spaces to avoid problems displaying lines that

begin with tabs.

This patch implements a very simple function to do so, and modifices

print_blob() to use it.

--- old-darcsweb/darcsweb.cgi 2014-04-24 20:31:33.000000000 +0000

+++ new-darcsweb/darcsweb.cgi 2014-04-24 20:31:33.000000000 +0000

@@ -139,6 +139,16 @@

s = s[:max - 4] + ' ...'

return s

+def replace_tabs(s):

+ pos = s.find("\t")

+ while pos != -1:

+ count = 8 - (pos % 8)

+ if count:

+ spaces = ' ' * count

+ s = s.replace('\t', spaces, 1)

+ pos = s.find("\t")

+ return s

+

def fperms(fname):

m = os.stat(fname)[stat.ST_MODE]

m = m & 0777

@@ -941,6 +951,7 @@

l = fixu8(escape(l))

if l and l[-1] == '\n':

l = l[:-1]

+ l = replace_tabs(l)

print """\

<div class="pre">\