Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-27 Thread Christian Grün
Hi Rick, > "ISIZE (Input SIZE)" from https://tools.ietf.org/html/rfc1952 looks promising > for most GZIP archives containing a single file. Yes, this field should be the one that is discussed in the StackOverflow entry. – As the field is limited to values of 2^32 bytes, the file size won’t be

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-26 Thread Rick Graham
Hi Christian, Thanks for your quick replies. "ISIZE (Input SIZE)" from https://tools.ietf.org/html/rfc1952 looks promising for most GZIP archives containing a single file. N.B.: The Database Resource Properties INPUTSIZE for ZIP archives also shows "0 b". Thanks and regards, RG On Mon, Nov

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-26 Thread Christian Grün
> ... would you want to set the Database Resource Properties INPUTSIZE to > something other than "0 b" when the INPUTPATH is an archive? In contrast to ZIP archives, there seems to be no trivial way in Java to retrieve the uncompressed file size from gzipped input streams. We could do some extra

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-26 Thread Rick Graham
Hi Christian, Yes, that feature works fine in the latest snapshot. Thank you. I'm wondering if an email to n...@nist.gov might encourage them to include filenames in all their archives. And while you're poking around the BaseX archive stuff ... would you want to set the Database Resource

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-26 Thread Christian Grün
A new stable snapshot is available [1]. In the updated version, all corner cases should be taken into consideration (such as gzip archive with missing file suffix in the file name). Hope this helps, Christian [1] http://files.basex.org/releases/latest/ On Mon, Nov 26, 2018 at 10:52 AM

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-26 Thread Christian Grün
Hi Rick, > I just wanted to use > https://nvd.nist.gov/feeds/json/cve/1.0/nvdcve-1.0-recent.json.gz with > basexgui. basexgui doesn't seem to process the archive correctly. I got it. So you were choosing JSON as input format, and the archive input was not chosen for import. The challenge

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-25 Thread Rick Graham
Hi Christian, Thanks for the reply. I just wanted to use https://nvd.nist.gov/feeds/json/cve/1.0/nvdcve-1.0-recent.json.gz with basexgui. basexgui doesn't seem to process the archive correctly. The archive https://nvd.nist.gov/feeds/json/cve/1.0/nvdcve-1.0-recent.json.zip seems to be processed

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-25 Thread Christian Grün
Hi Rick, Would've filed an issue, but the request is to post here first. (?) > Thanks. Many GitHub issues in the past were no bugs, but misunderstandings, so we are asking users to write to the list first. Using version 9.1 BaseX app, a GZIP archive >

Re: [basex-talk] BUG: Can't parse JSON from GZIP archive

2018-11-25 Thread Rick Graham
Would've filed an issue, but the request is to post here first. (?) Using version 9.1 BaseX app, a GZIP archive of a JSON database can't be used to properly create a database. Interestingly, a ZIP archive