#8831: input_server shouldn't use pointers as a cookie ------------------------------------+---------------------------- Reporter: xyzzy | Owner: korli Type: bug | Status: new Priority: normal | Milestone: R1 Component: Servers/input_server | Version: R1/Development Resolution: | Keywords: Blocked By: | Blocking: Has a Patch: 0 | Platform: All ------------------------------------+---------------------------- Comment (by xyzzy): It does get used directly in one place, here: http://cgit.haiku- os.org/haiku/tree/src/servers/input/InputServer.cpp#n628 -- Ticket URL: <http://dev.haiku-os.org/ticket/8831#comment:5> Haiku <http://dev.haiku-os.org> Haiku - the operating system.