서버의 php버전이 낮아서 json_encode() 함수가 안될때 사용하는 함수

//json 인코딩 함수
function json_encode2($data) {
 switch (gettype($data)) {
  case 'boolean':
   return $data?'true':'false';
  case 'integer':
  case 'double':
   return $data;
  case 'string':
   return '"'.strtr($data, array('\\'=>'\\\\','"'=>'\\"')).'"';
  case 'array':
   $rel = false; // relative array?
   $key = array_keys($data);
   foreach ($key as $v) {
    if (!is_int($v)) {
     $rel = true;
     break;
    }
   }
  
   $arr = array();
   foreach ($data as $k=>$v) {
    $arr[] = ($rel?'"'.strtr($k, array('\\'=>'\\\\','"'=>'\\"')).'":':'').json_encode2($v);
   }
 
   return $rel?'{'.join(',', $arr).'}':'['.join(',', $arr).']';
  default:
   return '""';
 }
}

header('Access-Control-Allow-Origin: *');
header('Access-Control-Allow-Methods: POST, GET, OPTIONS');
header('Access-Control-Max-Age: 1000');
if(array_key_exists('HTTP_ACCESS_CONTROL_REQUEST_HEADERS', $_SERVER)) {
    header('Access-Control-Allow-Headers: '
           . $_SERVER['HTTP_ACCESS_CONTROL_REQUEST_HEADERS']);
} else {
    header('Access-Control-Allow-Headers: *');
}
 
if("OPTIONS" == $_SERVER['REQUEST_METHOD']) {
    exit(0);
}

//데이터 예시
$result = 쿼리
while($row = mysql_fetch_array($result)){
 $result_array[] = $row;
}

header('Cache-Control: no-cache, must-revalidate');
header('Expires: Mon, 26 Jul 1997 05:00:00 GMT');
header('Content-type: application/json');
$result_array=json_encode2($result_array);
print $result_array;

제가 관리하는 사이트 서버가 오래되어서 php 4버전이다 보니
json 함수가 사용이 안되어서 찾은 소스 입니다.

참고 문자 캐릭터형을 정확하게 사용하셔야 합니다.