{"action":"created","issue":{"url":"https://api.github.com/repos/spechub/Hets/issues/1635","repository_url":"https://api.github.com/repos/spechub/Hets","labels_url":"https://api.github.com/repos/spechub/Hets/issues/1635/labels{/name}","comments_url":"https://api.github.com/repos/spechub/Hets/issues/1635/comments","events_url":"https://api.github.com/repos/spechub/Hets/issues/1635/events","html_url":"https://github.com/spechub/Hets/pull/1635","id":154162971,"number":1635,"title":"OWL2Parser: honor TMPDIR, use compression","user":{"login":"jelmd","id":4813414,"avatar_url":"https://avatars.githubusercontent.com/u/4813414?v=3","gravatar_id":"","url":"https://api.github.com/users/jelmd","html_url":"https://github.com/jelmd","followers_url":"https://api.github.com/users/jelmd/followers","following_url":"https://api.github.com/users/jelmd/following{/other_user}","gists_url":"https://api.github.com/users/jelmd/gists{/gist_id}","starred_url":"https://api.github.com/users/jelmd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jelmd/subscriptions","organizations_url":"https://api.github.com/users/jelmd/orgs","repos_url":"https://api.github.com/users/jelmd/repos","events_url":"https://api.github.com/users/jelmd/events{/privacy}","received_events_url":"https://api.github.com/users/jelmd/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-05-11T05:28:56Z","updated_at":"2016-05-12T06:09:49Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/spechub/Hets/pulls/1635","html_url":"https://github.com/spechub/Hets/pull/1635","diff_url":"https://github.com/spechub/Hets/pull/1635.diff","patch_url":"https://github.com/spechub/Hets/pull/1635.patch"},"body":"Make OWL2Parser consistent with hets itself, so that it also honors TMPDIR env variable, when it creates temp files. Now, it uses also gzip compression: for small files it doesn't matter anyway, but for big files (200MB+) we have seen lately, it reduces disk IO stress to usually 5-10% and thus may lead to  over all performance improvements (gzip is relative cheap). Furthermore the \"LineReader\" incl. append() calls got replaced an generic InputStreamReader and write(), so that there is no more scanning for `\\n` and `\\r` and data are read and write in chunks of 8K in one row. This alone probably compensates the \"compute overhead\" introduced by [de]compression.\r\n\r\nHaven't found any hints, how to test it on CLI ..."},"comment":{"url":"https://api.github.com/repos/spechub/Hets/issues/comments/218668586","html_url":"https://github.com/spechub/Hets/pull/1635#issuecomment-218668586","issue_url":"https://api.github.com/repos/spechub/Hets/issues/1635","id":218668586,"user":{"login":"jelmd","id":4813414,"avatar_url":"https://avatars.githubusercontent.com/u/4813414?v=3","gravatar_id":"","url":"https://api.github.com/users/jelmd","html_url":"https://github.com/jelmd","followers_url":"https://api.github.com/users/jelmd/followers","following_url":"https://api.github.com/users/jelmd/following{/other_user}","gists_url":"https://api.github.com/users/jelmd/gists{/gist_id}","starred_url":"https://api.github.com/users/jelmd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jelmd/subscriptions","organizations_url":"https://api.github.com/users/jelmd/orgs","repos_url":"https://api.github.com/users/jelmd/repos","events_url":"https://api.github.com/users/jelmd/events{/privacy}","received_events_url":"https://api.github.com/users/jelmd/received_events","type":"User","site_admin":false},"created_at":"2016-05-12T06:09:48Z","updated_at":"2016-05-12T06:09:48Z","body":"Made some tests with interesting [results](https://github.com/spechub/Hets/files/260688/test-results.txt)!\r\n"}}