fix memory leak as Dimitri suggested

[wxWidgets.git] / include / wx / timer.h

diff --git a/include/wx/timer.h b/include/wx/timer.h
index d6fcce73d0847a5a198f43db258f469b2b045e3d..57dd27b15a3502bc568a9f184b4c5f9561ac55b7 100644 (file)
--- a/include/wx/timer.h
+++ b/include/wx/timer.h
@@ -7,7 +7,7 @@
 // Created:     04/01/98
 // RCS-ID:      $Id$
 // Copyright:   (c) wxWindows team
-// Licence:     wxWindows license
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_TIMER_H_BASE_
@@ -205,10 +205,21 @@ public:
     void Start(long t0 = 0);
 
     // pause the stop watch
-    void Pause() { if ( !m_pauseCount++) m_pause = GetElapsedTime(); }
+    void Pause()
+    {
+        if ( !m_pauseCount++ )
+            m_pause = GetElapsedTime();
+    }
 
     // resume it
-    void Resume() { if ( !--m_pauseCount ) Start(m_pause); }
+    void Resume()
+    {
+        wxASSERT_MSG( m_pauseCount > 0,
+                      _T("Resuming stop watch which is not paused") );
+
+        if ( !--m_pauseCount )
+            Start(m_pause);
+    }
 
     // get elapsed time since the last Start() in milliseconds
     long Time() const;