#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: 1 | Platform: All ------------------------------------+---------------------------- Comment (by leavengood): That is pretty much what I was thinking, except maybe putting the generation of the next cookie in a static function just to make it clear. Though this is probably OK. -- Ticket URL: <http://dev.haiku-os.org/ticket/8831#comment:10> Haiku <http://dev.haiku-os.org> Haiku - the operating system.