function format_json_value(&$value)
{
	if(is_bool($value)) {
		$value = $value?'true':'false';
	}elseif(is_int($value)) {
		$value = intval($value);
	}elseif(is_float($value)) {
		$value = floatval($value);
	}elseif(defined($value) && $value === null) {
		$value = strval(constant($value));
	}elseif(is_string($value)) {
		$value = '"'.addslashes($value).'"';
	}
	return $value;
}

 

posted on 2010-11-09 19:09  重生  阅读(227)  评论(0编辑  收藏  举报