redis_import_dict.php 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556
  1. <?php
  2. require_once "../path.php";
  3. require_once "../install/filelist.php";
  4. require_once "../redis/function.php";
  5. if (PHP_SAPI == "cli") {
  6. if ($argc >= 2) {
  7. $list = $argv[1];
  8. $redis = redis_connect();
  9. if ($redis == false) {
  10. echo "no redis connect\n";
  11. exit;
  12. }
  13. $count=0;
  14. $taskList = json_decode(file_get_contents(__DIR__."/".$list));
  15. $dir = dirname(__DIR__."/".$list);
  16. foreach ($taskList as $key => $task) {
  17. # code...
  18. $redis->del($task->rediskey);
  19. foreach ($task->csv as $csv) {
  20. $csvfile = $dir."/".$csv;
  21. if (($fp = fopen($csvfile, "r")) !== false) {
  22. echo "单词表load {$csvfile}\n";
  23. while (($data = fgets($fp)) !== false) {
  24. $data1 = explode(",",$data);
  25. $old = $redis->hGet($task->rediskey,$data1[$task->keycol]);
  26. $new = array();
  27. if($old){
  28. $new = json_decode($old,true);
  29. array_push($new,$data1);
  30. }
  31. else{
  32. $new[] = $data1;
  33. }
  34. $redis->hSet($task->rediskey,$data1[$task->keycol],json_encode($new, JSON_UNESCAPED_UNICODE));
  35. $count++;
  36. if($count%10000==0){
  37. sleep(1);
  38. echo $count."\n";
  39. }
  40. }
  41. fclose($fp);
  42. } else {
  43. echo "can not open csv file. ";
  44. }
  45. }
  46. }
  47. }
  48. }
  49. ?>