[GitHub] hive pull request #275: use the DEFAULT_HEADER_INTERVAL variable no the pure...

[liuxiaohu0511]

Github user liuxiaohu0511 closed the pull request at:

    https://github.com/apache/hive/pull/275


---