[Moin-devel] Small fix for moin_dump.py

[Tim Bird]

Below is a small fix for moin_dump.py.

It fixes a bug where heading numbering is continued through the
entire set of statically-generated pages.
(So, for example, if the last heading on a page FooPage.html was
numbered 106, the first heading on page FooPage2.html was numbered
107).

With this patch applied, heading numbering is restarted at 1
for every generated page.

Regards,

Tim Bird

--- moin_dump.py.orig   2003-02-18 19:54:22.000000000 -0700
+++ moin_dump.py        2003-02-18 20:03:57.000000000 -0700
@@ -124,6 +124,8 @@
             filepath = os.path.join(outputdir, file)
             out = open(filepath, 'w')
             try:
+                if hasattr(request, "_fmt_hd_counters"):
+                    del request._fmt_hd_counters
                 page = Page.Page(pagename)
                 sys.stdout = out
                 try: