(self, InputName)
| 213 | return out |
| 214 | |
| 215 | def GetCommandOutputFileNameAndExtension(self, InputName): |
| 216 | OutputName = InputName |
| 217 | OutputExtension = "txt" |
| 218 | if InputName.split(".")[-1] in ["html"]: |
| 219 | OutputName = InputName[0:-5] |
| 220 | OutputExtension = "html" |
| 221 | return [OutputName, OutputExtension] |
| 222 | |
| 223 | def EscapeSnippet(self, Snippet, Extension): |
| 224 | if Extension == "html": # HTML |