parameters: (self, server_title)
docstring: Set the HTML title of the generated server documentation
docstring_summary: Set the HTML title of the generated server documentation
docstring_tokens: Set the HTML title of the generated server documentation
function: def set_server_title(self, server_title):
          """Set the HTML title of the generated server documentation"""
  
          self.server_title = server_title
function_tokens: def set_server_title ( self , server_title ) : self . server_title = server_title