Changeset 1770

Timestamp:

Sep 11, 2008, 6:13:41 PM (16 years ago)

Author:

rgrieder

Message:

Bug fix in InputManager destructor.

File:

• code/trunk/src/core/input/InputManager.cc (modified) (1 diff)

code/trunk/src/core/input/InputManager.cc

@@ -456 +456 @@
             }
         }
+        singletonRef_s = 0;
     }