{"action":"created","issue":{"url":"https://api.github.com/repos/chocoteam/choco3/issues/345","labels_url":"https://api.github.com/repos/chocoteam/choco3/issues/345/labels{/name}","comments_url":"https://api.github.com/repos/chocoteam/choco3/issues/345/comments","events_url":"https://api.github.com/repos/chocoteam/choco3/issues/345/events","html_url":"https://github.com/chocoteam/choco3/issues/345","id":117571194,"number":345,"title":"Choco 3.3.2: what happened to solver.searchLoop.interrupt","user":{"login":"RobertHilbrich","id":1360688,"avatar_url":"https://avatars.githubusercontent.com/u/1360688?v=3","gravatar_id":"","url":"https://api.github.com/users/RobertHilbrich","html_url":"https://github.com/RobertHilbrich","followers_url":"https://api.github.com/users/RobertHilbrich/followers","following_url":"https://api.github.com/users/RobertHilbrich/following{/other_user}","gists_url":"https://api.github.com/users/RobertHilbrich/gists{/gist_id}","starred_url":"https://api.github.com/users/RobertHilbrich/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RobertHilbrich/subscriptions","organizations_url":"https://api.github.com/users/RobertHilbrich/orgs","repos_url":"https://api.github.com/users/RobertHilbrich/repos","events_url":"https://api.github.com/users/RobertHilbrich/events{/privacy}","received_events_url":"https://api.github.com/users/RobertHilbrich/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/chocoteam/choco3/labels/support","name":"support","color":"eb6420"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-11-18T11:53:14Z","updated_at":"2015-11-18T14:40:41Z","closed_at":null,"body":"We used `solver.searchLoop.interrupt` to interrupt the solver while it is still searching, for instance, when the user clicked \"Abort\" in the UI. Unfortunately, it has been deprecated by just throwing an `UnsupportedOperationException`. What is the recommended way to interrupt the search manually?"},"comment":{"url":"https://api.github.com/repos/chocoteam/choco3/issues/comments/157732809","html_url":"https://github.com/chocoteam/choco3/issues/345#issuecomment-157732809","issue_url":"https://api.github.com/repos/chocoteam/choco3/issues/345","id":157732809,"user":{"login":"gregy4","id":5640112,"avatar_url":"https://avatars.githubusercontent.com/u/5640112?v=3","gravatar_id":"","url":"https://api.github.com/users/gregy4","html_url":"https://github.com/gregy4","followers_url":"https://api.github.com/users/gregy4/followers","following_url":"https://api.github.com/users/gregy4/following{/other_user}","gists_url":"https://api.github.com/users/gregy4/gists{/gist_id}","starred_url":"https://api.github.com/users/gregy4/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gregy4/subscriptions","organizations_url":"https://api.github.com/users/gregy4/orgs","repos_url":"https://api.github.com/users/gregy4/repos","events_url":"https://api.github.com/users/gregy4/events{/privacy}","received_events_url":"https://api.github.com/users/gregy4/received_events","type":"User","site_admin":false},"created_at":"2015-11-18T14:40:41Z","updated_at":"2015-11-18T14:40:41Z","body":"Well, it doesn't comply with the word deprecated ...\r\nBest way to remove the method interrupt is to deprecate it in one version - internally implement it through addStopCritecion method and describe recommended alternative. Please update minimally javadoc of interrupt method.\r\nI used interrupt method with only String argument that is completely missing, without this issue I would probably try to match with deprecated but compilable version and finally found that I wasted my time because deprecated method isn't also functional."}}