<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- src/js/jsMacOSX.cxx.orig	2011-10-28 10:30:30.000000000 +0100
+++ src/js/jsMacOSX.cxx	2011-10-28 10:31:50.000000000 +0100
@@ -261,8 +261,11 @@
 
 void jsJoystick::close()
 {
-	if (os-&gt;hidDev != NULL)  (*(os-&gt;hidDev))-&gt;close(os-&gt;hidDev);
-	if (os) delete os;
+    if (os) {
+        if (os-&gt;hidDev)  (*(os-&gt;hidDev))-&gt;close(os-&gt;hidDev);
+        delete os;
+        os = NULL;
+    }
 }
 
 /** element enumerator function : pass NULL for top-level*/
</pre></body></html>