fgets has no bug, Redis.php has bug