*Fix diff time record.

--HG-- branch : trunk
2009-01-07 10:49:13 -06:00
parent bacbd4a782
commit 9a71deb785
3 changed files with 12 additions and 5 deletions
@@ -517,7 +517,7 @@ class World
        void SetScriptsVersion(char const* version) { m_ScriptsVersion = version ? version : "unknown scripting library"; }
        char const* GetScriptsVersion() { return m_ScriptsVersion.c_str(); }

-        void RecordTimeDiff(const char * text);
+        void RecordTimeDiff(const char * text, ...);
    protected:
        void _UpdateGameTime();
        void ScriptsProcess();