| #832 | "updateTime" => time(), |
| #833 | ]; |
| #834 | |
| #835 | // 写入文件（格式化） |
| #836 | //$writeResult = file_put_contents($cacheFile, json_encode($finalData, JSON_UNESCAPED_UNICODE | JSON_PRETTY_PRINT)); |
| #837 | // 紧凑格式： |
| #838 | $writeResult = file_put_contents($cacheFile, json_encode($finalData, JSON_UNESCAPED_UNICODE)); |
| #839 | |
| #840 | if ($writeResult === false) { |
| #841 | throw new Exception("Failed to write cache file for {$symbol}({$code})"); |