dallasgroot/0ad
1
0
Fork 0
mirror of https://gitea.wildfiregames.com/0ad/0ad synced 2026-08-15 14:43:32 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions

Use the profiler to profile map generation

Browse source 
Instead of writing the duration to the console it uses
`Engine.ProfileStart` and `Engine.ProfileStop` to profile map
generation.

Refs: #5263
This commit is contained in:
phosit 2026-07-24 16:15:22 +02:00
parent 4122f0bfb3
commit a80446eb59
No known key found for this signature in database
GPG key ID: C9430B600671C268
1 changed files with 10 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
binaries/data/mods/public/maps/random/rmgen/RandomMapLogger.js
View file

@ -1,6 +1,6 @@
function RandomMapLogger()
{
this.lastTime = undefined;
this.taskStarted = false;
this.startTime = Engine.GetMicroseconds ? Engine.GetMicroseconds() : 0;
this.prefix = ""; // seems noisy
@ -21,27 +21,18 @@ RandomMapLogger.prototype.printDirectly = function(string)
RandomMapLogger.prototype.print = function(string)
{
this.printDuration();
this.printDirectly(this.prefix + string + "...");
this.lastTime = Engine.GetMicroseconds();
};
if (this.taskStarted)
Engine.ProfileStop();
RandomMapLogger.prototype.printDuration = function()
{
if (!this.lastTime)
return;
this.printDurationDirectly("", this.lastTime);
this.lastTime = Engine.GetMicroseconds();
const text = this.prefix + string;
this.printDirectly(text + "...\n");
Engine.ProfileStart(text);
this.taskStarted = true;
};
RandomMapLogger.prototype.close = function()
{
this.printDuration();
this.printDurationDirectly(this.prefix + "Total map generation time:", this.startTime);
};
RandomMapLogger.prototype.printDurationDirectly = function(text, startTime)
{
this.printDirectly(text + " " + ((Engine.GetMicroseconds() - startTime) / 1000000).toFixed(6) + "s.\n");
if (this.taskStarted)
Engine.ProfileStop();
this.printDirectly(this.prefix + "Map generation finished.\n");
};