Usar extensión .html simple para diff en HTML.

diff --git a/sercom/tester.py b/sercom/tester.py
index 4f381f13f1336aaca30ea95a20eaa96cf97bbf80..88dbe87adff2ba44aa7fe0ce24d6d2941c9e6346 100644 (file)
--- a/sercom/tester.py
+++ b/sercom/tester.py
@@ -456,7 +456,7 @@ def ejecutar_comando_fuente(self, path, entrega): #{{{
                 fromdesc=name+'.'+origname, todesc=name+'.'+newname,
                 context=True, numlines=3)
             zip_out.writestr(name + '.diff', udiff)
-            zip_out.writestr(name + '.diff.html', htmldiff)
+            zip_out.writestr(name + '.diff', htmldiff)
             return True
         else:
             return False
@@ -667,7 +667,7 @@ def ejecutar_comando_prueba(self, path, prueba): #{{{
                 fromdesc=name+'.'+origname, todesc=name+'.'+newname,
                 context=True, numlines=3)
             zip_out.writestr(name + '.diff', udiff)
-            zip_out.writestr(name + '.diff.html', htmldiff)
+            zip_out.writestr(name + '.html', htmldiff)
             return True
         else:
             return False