# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1533508293 -7200
# Node ID ff16f333b9332a1c06510bae9c0a3c08ac6bac8c
# Parent  ade25b2c5eb29b01c6ca746e2eb3624a3da1e44f
Employ the diagram resource identifier instead of the filename in the HTML,
adding a format suffix.

diff -r ade25b2c5eb2 -r ff16f333b933 moinformat/serialisers/html/graphviz.py
--- a/moinformat/serialisers/html/graphviz.py	Mon Aug 06 00:12:38 2018 +0200
+++ b/moinformat/serialisers/html/graphviz.py	Mon Aug 06 00:31:33 2018 +0200
@@ -99,7 +99,7 @@
 
         # Get an identifier and usable filename to store the output.
 
-        identifier = get_output_identifier(text)
+        identifier = "%s.%s" % (get_output_identifier(text), format)
         filename = self.output.get_filename(identifier)
 
         # Handle situations where no independent output is permitted.
@@ -135,12 +135,12 @@
                     self.raw(graphviz.get_output())
                     attributes["usemap"] = "#%s" % im_attributes["id"]
 
-            self.image(filename, attributes)
+            self.image(identifier, attributes)
 
         # For other output, create a file and embed the object.
 
         else:
-            self.object(filename, attributes)
+            self.object(identifier, attributes)
 
 serialiser = HTMLGraphvizSerialiser