Puli\Repository\ChangeStream\JsonChangeStream::flush PHP Метод

flush() приватный Метод

Writes the JSON file.
private flush ( )
    private function flush()
    {
        $this->encoder->encodeFile($this->json, $this->path);
    }