[haiku-bugs] [Haiku] #8831: input_server shouldn't use pointers as a cookie
- From: "korli" <trac@xxxxxxxxxxxx>
- Date: Tue, 28 Aug 2012 18:36:40 -0000
#8831: input_server shouldn't use pointers as a cookie
------------------------------------+-------------------------------
Rapporteur: xyzzy | Propriétaire: korli
Type: bug | Status: new
Priorité: normal | Jalon: R1
Composant: Servers/input_server | Version: R1/Development
Résolution: | Mots-clés:
Blocked By: | Blocking:
Has a Patch: 0 | Platform: All
------------------------------------+-------------------------------
Attachment added (by korli):
0001-input_server-use-a-generated-cookie-instead-of-point.patch (5.3 KB) - no
description
View the file at
http://dev.haiku-os.org/attachment/ticket/8831/0001-input_server-use-a-generated-cookie-instead-of-point.patch
--
Ticket URL: http://dev.haiku-os.org/ticket/8831
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.
Other related posts:
