def json_encode(value):
 return _json_encode(recursive_unicode(value)).replace('</', '<\\/')

def json_encode ( value ) : return _json_encode ( recursive_unicode ( value ) ) . replace ( '</' , '<\\/' )
json-encodes the given python object .