// Created: 20.06.2003 (extracted from common/timercmn.cpp)
// RCS-ID: $Id$
// Copyright: (c) 1998-2003 wxWidgets Team
-// License: wxWindows license
+// Licence: wxWindows licence
///////////////////////////////////////////////////////////////////////////////
// ============================================================================
#include <sys/timeb.h>
#endif
-#ifdef __WXMAC__
-#ifndef __DARWIN__
- #include <Timer.h>
- #include <DriverServices.h>
-#else
- #include <Carbon/Carbon.h>
-#endif
-#endif
-
#ifdef __WXPALMOS__
#include <DateTime.h>
#include <TimeMgr.h>
(void)::ftime(&tp);
val *= tp.time;
return (val + tp.millitm);
-#elif defined(__WXMAC__)
-
- static UInt64 gMilliAtStart = 0;
-
- Nanoseconds upTime = AbsoluteToNanoseconds( UpTime() );
-
- if ( gMilliAtStart == 0 )
- {
- time_t start = time(NULL);
- gMilliAtStart = ((UInt64) start) * 1000000L;
- gMilliAtStart -= upTime.lo / 1000 ;
- gMilliAtStart -= ( ( (UInt64) upTime.hi ) << 32 ) / (1000 * 1000);
- }
-
- UInt64 millival = gMilliAtStart;
- millival += upTime.lo / (1000 * 1000);
- millival += ( ( (UInt64) upTime.hi ) << 32 ) / (1000 * 1000);
- val = millival;
-
- return val;
#else // no gettimeofday() nor ftime()
// We use wxGetLocalTime() to get the seconds since
// 00:00:00 Jan 1st 1970 and then whatever is available