Can now deal with special characters in whatevers in KEYWORD=whatever

Author: Gareth Aneurin Tribello

PlumedToHTML/PlumedFormatter.py

@@ -142,7 +142,7 @@ def format(self, tokensource, outfile):
                             if select not in self.keyword_dict["groups"] : raise Exception("special group " + select + " not in special group dictionary")
                             tooltip, link = self.keyword_dict["groups"][select]["description"], self.keyword_dict["groups"][select]["link"]
                         outfile.write('<div class="tooltip">' + inp + '<div class="right">' + tooltip + '. <a href="' + link + '">Click here</a> for more information. <i></i></div></div>') 
-                      else : outfile.write( inp )
+                      else : outfile.write( html.escape(inp) )
                       nocomma = False 
             elif ttype==String or ttype==String.Double :
                # Labels of actions

setup.py

@@ -6,7 +6,7 @@
 
 setuptools.setup(
      name='PlumedToHTML',  
-     version='0.63',
+     version='0.64',
      author="Gareth Tribello",
      author_email="[email protected]",
      description="A package for creating pretified HTML for PLUMED files",