[haiku-bugs] Re: [Haiku] #8831: input_server shouldn't use pointers as a cookie
- From: "korli" <trac@xxxxxxxxxxxx>
- Date: Tue, 28 Aug 2012 18:37:25 -0000
#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 korli):
Here is a proposed patch
--
Ticket URL: <http://dev.haiku-os.org/ticket/8831#comment:9>
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.
Other related posts:
