{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/85","labels_url":"https://api.github.com/repos/gap-system/gap/issues/85/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/85/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/85/events","html_url":"https://github.com/gap-system/gap/pull/85","id":62696213,"number":85,"title":"Add support for using gettimeofday for profiling time","user":{"login":"ChrisJefferson","id":811527,"avatar_url":"https://avatars.githubusercontent.com/u/811527?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisJefferson","html_url":"https://github.com/ChrisJefferson","followers_url":"https://api.github.com/users/ChrisJefferson/followers","following_url":"https://api.github.com/users/ChrisJefferson/following{/other_user}","gists_url":"https://api.github.com/users/ChrisJefferson/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisJefferson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisJefferson/subscriptions","organizations_url":"https://api.github.com/users/ChrisJefferson/orgs","repos_url":"https://api.github.com/users/ChrisJefferson/repos","events_url":"https://api.github.com/users/ChrisJefferson/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisJefferson/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/gap-system/gap/labels/gapdays2015","name":"gapdays2015","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-03-18T13:37:10Z","updated_at":"2015-03-18T13:54:22Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/85","html_url":"https://github.com/gap-system/gap/pull/85","diff_url":"https://github.com/gap-system/gap/pull/85.diff","patch_url":"https://github.com/gap-system/gap/pull/85.patch"},"body":"As in description, this lets the profiling use either getrusage or gettimeofday (faster) to get the times taken in profiling GAP."},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/82982958","html_url":"https://github.com/gap-system/gap/pull/85#issuecomment-82982958","issue_url":"https://api.github.com/repos/gap-system/gap/issues/85","id":82982958,"user":{"login":"alex-konovalov","id":5751387,"avatar_url":"https://avatars.githubusercontent.com/u/5751387?v=3","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"created_at":"2015-03-18T13:54:22Z","updated_at":"2015-03-18T13:54:22Z","body":"@ChrisJefferson Please note that hpcgap-default already provides `CurrentTime` which was just borrowed from `IO_gettimeofday` to be usable even when the IO package is not loaded:\r\n```\r\ngap> CurrentTime();\r\nrec( tv_sec := 1426686741, tv_usec := 956445 ) \r\n```\r\nAfter your PR will be merged, we may remove `CurrentTime` from HPC-GAP."}}