{"action":"created","issue":{"url":"https://api.github.com/repos/actor-framework/actor-framework/issues/776","repository_url":"https://api.github.com/repos/actor-framework/actor-framework","labels_url":"https://api.github.com/repos/actor-framework/actor-framework/issues/776/labels{/name}","comments_url":"https://api.github.com/repos/actor-framework/actor-framework/issues/776/comments","events_url":"https://api.github.com/repos/actor-framework/actor-framework/issues/776/events","html_url":"https://github.com/actor-framework/actor-framework/issues/776","id":367320993,"node_id":"MDU6SXNzdWUzNjczMjA5OTM=","number":776,"title":"0.16.0 message priorities feature seems broken.","user":{"login":"ke9","id":26436488,"node_id":"MDQ6VXNlcjI2NDM2NDg4","avatar_url":"https://avatars3.githubusercontent.com/u/26436488?v=4","gravatar_id":"","url":"https://api.github.com/users/ke9","html_url":"https://github.com/ke9","followers_url":"https://api.github.com/users/ke9/followers","following_url":"https://api.github.com/users/ke9/following{/other_user}","gists_url":"https://api.github.com/users/ke9/gists{/gist_id}","starred_url":"https://api.github.com/users/ke9/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ke9/subscriptions","organizations_url":"https://api.github.com/users/ke9/orgs","repos_url":"https://api.github.com/users/ke9/repos","events_url":"https://api.github.com/users/ke9/events{/privacy}","received_events_url":"https://api.github.com/users/ke9/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-05T18:30:10Z","updated_at":"2018-10-05T20:00:19Z","closed_at":null,"author_association":"NONE","body":"While upgrading from 0.15.7, found out in the code that caf::priority_aware seems deprecated, but the documentation still mentions message priorities (normal & high).\r\n\r\nMessages do not respect priority anymore, and even when sending a high priority messages before normal priority ones, they will not be handled in the proper order by actors. Normal priority will be handled before high priority message even if these have been sent beforehand.\r\n\r\nIs there a new/better way to send urgent messages to actors ? \r\n\r\n"},"comment":{"url":"https://api.github.com/repos/actor-framework/actor-framework/issues/comments/427482368","html_url":"https://github.com/actor-framework/actor-framework/issues/776#issuecomment-427482368","issue_url":"https://api.github.com/repos/actor-framework/actor-framework/issues/776","id":427482368,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNzQ4MjM2OA==","user":{"login":"Neverlord","id":651128,"node_id":"MDQ6VXNlcjY1MTEyOA==","avatar_url":"https://avatars3.githubusercontent.com/u/651128?v=4","gravatar_id":"","url":"https://api.github.com/users/Neverlord","html_url":"https://github.com/Neverlord","followers_url":"https://api.github.com/users/Neverlord/followers","following_url":"https://api.github.com/users/Neverlord/following{/other_user}","gists_url":"https://api.github.com/users/Neverlord/gists{/gist_id}","starred_url":"https://api.github.com/users/Neverlord/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Neverlord/subscriptions","organizations_url":"https://api.github.com/users/Neverlord/orgs","repos_url":"https://api.github.com/users/Neverlord/repos","events_url":"https://api.github.com/users/Neverlord/events{/privacy}","received_events_url":"https://api.github.com/users/Neverlord/received_events","type":"User","site_admin":false},"created_at":"2018-10-05T20:00:19Z","updated_at":"2018-10-05T20:00:19Z","author_association":"MEMBER","body":"Sorry for the lackluster documentation.\r\n\r\nThe `priority_aware` flag is deprecated, because *all* actors respect message priorities as of 0.16. The mailbox internally always uses multiple queues now. However, the queue holding regular messages currently gets checked first (see #684), why it may appear that regular messages have precedence. This is not intentional and will get fixed."}}
{"actor":{"display_login":"Neverlord"}}