def xml_encode(string):
string = string.replace("<STR_LIT:&>", "<STR_LIT>")<EOL>string = string.replace("<STR_LIT:<>", "<STR_LIT>")<EOL>string = string.replace("<STR_LIT:>>", "<STR_LIT>")<EOL>string = string.replace("<STR_LIT>","<STR_LIT>")<EOL>string = string.replace(SLASH, "<STR_LIT:/>")<EOL>return string<EOL>
Returns the string with XML-safe special characters.