From cad006719f3139657e7cf1cd1c44b79e7761ed82 Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Sat, 19 Jul 2008 12:02:24 -0700 Subject: [PATCH] fix memory management bugs in game-input.backend.iokit --- extra/game-input/backend/iokit/iokit.factor | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/extra/game-input/backend/iokit/iokit.factor b/extra/game-input/backend/iokit/iokit.factor index cc4cc31ffa..1c778c6bb9 100644 --- a/extra/game-input/backend/iokit/iokit.factor +++ b/extra/game-input/backend/iokit/iokit.factor @@ -80,15 +80,9 @@ SINGLETON: iokit-game-input-backend game-devices-matching-seq hid-manager-matching ; : device-property ( device key -- value ) - [ - IOHIDDeviceGetProperty - [ &CFRelease plist> ] [ f ] if* - ] with-destructors ; + IOHIDDeviceGetProperty plist> ; : element-property ( element key -- value ) - [ - IOHIDElementGetProperty - [ &CFRelease plist> ] [ f ] if* - ] with-destructors ; + IOHIDElementGetProperty plist> ; : set-element-property ( element key value -- ) [ ] [ >plist ] bi* IOHIDElementSetProperty drop ; : transfer-element-property ( element from-key to-key -- )