Yes, they are translated so that special characters in string don't confuse the parser. They are translated back to unescaped characters when reading the stream automatically. No need to avoid that.When a string is serialized, all space characters become Is this normal?
V. _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp

