Set the name of the generated HTML server documentation
(self, server_name)
| 835 | self.server_title = server_title |
| 836 | |
| 837 | def set_server_name(self, server_name): |
| 838 | """Set the name of the generated HTML server documentation""" |
| 839 | |
| 840 | self.server_name = server_name |
| 841 | |
| 842 | def set_server_documentation(self, server_documentation): |
| 843 | """Set the documentation string for the entire server.""" |