Escaping certain characters

[Robert Kern]

Jan Danielsson wrote:
> Robert Kern wrote:
> [---]
> 
>>>Hmm... On second thought, I need to escape more characters.
>>>
>>>Is there no other way to escape characters in strings?
>>
>>Which characters?
> 
>    I need to escape '\n', '"', '[' and ']'. I finally went with a few of
> these:
> string.replace('\n', '\\n')
> string.replace('"', '\\"')
> ...
> 
>    I assume that's good enough, but I somehow expected there to exist
> some form of "insert your conversion table here" built-in string escaper.

Write a codec.

-- 
Robert Kern
rkern at ucsd.edu

"In the fields of hell where the grass grows high
  Are the graves of dreams allowed to die."
   -- Richard Harter