mirror of
https://gitea.wildfiregames.com/0ad/0ad
synced 2026-06-16 05:13:58 -07:00
93ce94655d
Up to now `eslint-plugin-brace-rules` was used to enforce a common brace style for JavaScript code. This plugin was however updated the last time over 9 years ago and will be incompatible with ESLint v10, as that [removes `context.getSourceCode()`][1], the plugin relies on. To keep the eslint config working with ESLint v10, this replaces `eslint-plugin-brace-rules` with the [`@stylistic/brace-style`][2] rule from `@stylistic/eslint-plugin`, a package we already use. While `@stylistic/brace-style` doesn't offer an option to format braces in exactly the same way as before, the "allman" style seems to be the one closest to the existing code. [1]: https://eslint.org/blog/2025/11/eslint-v10.0.0-alpha.0-released/#removed-deprecated-rule-context-members [2]: https://eslint.style/rules/brace-style
71 lines
1.4 KiB
JavaScript
71 lines
1.4 KiB
JavaScript
var g_TimerID = 0;
|
|
var g_Timers = {};
|
|
var g_Time = Date.now();
|
|
|
|
/**
|
|
* Set a timeout to call func() after 'delay' msecs.
|
|
* func: function to call
|
|
* delay: delay in ms
|
|
* Returns an id that can be passed to clearTimeout.
|
|
*/
|
|
function setTimeout(func, delay)
|
|
{
|
|
var id = ++g_TimerID;
|
|
g_Timers[id] = [g_Time + delay, func];
|
|
return id;
|
|
}
|
|
|
|
/**
|
|
* deletes a timer
|
|
* id: of the timer
|
|
*/
|
|
function clearTimeout(id)
|
|
{
|
|
delete g_Timers[id];
|
|
}
|
|
|
|
/**
|
|
* alters an function call
|
|
* id: of the timer
|
|
* func: function to call
|
|
*/
|
|
function setNewTimerFunction(id, func)
|
|
{
|
|
if (id in g_Timers)
|
|
g_Timers[id][1] = func;
|
|
}
|
|
|
|
/**
|
|
* If you want to use timers, then you must call this function regularly
|
|
* (e.g. in a Tick handler)
|
|
*/
|
|
function updateTimers()
|
|
{
|
|
g_Time = Date.now();
|
|
|
|
// Collect the timers that need to run
|
|
// (We do this in two stages to avoid deleting from the timer list while
|
|
// we're in the middle of iterating through it)
|
|
var run = [];
|
|
for (const id in g_Timers)
|
|
if (g_Timers[id][0] <= g_Time)
|
|
run.push(id);
|
|
|
|
for (const id of run)
|
|
{
|
|
const t = g_Timers[id];
|
|
if (!t)
|
|
continue; // an earlier timer might have cancelled this one, so skip it
|
|
|
|
try
|
|
{
|
|
t[1]();
|
|
}
|
|
catch(e)
|
|
{
|
|
var stack = e.stack.trimRight().replace(/^/mg, ' '); // indent the stack trace
|
|
error(sprintf("Error in timer: %(error)s", { "error": e }) + "\n" + stack + "\n");
|
|
}
|
|
delete g_Timers[id];
|
|
}
|
|
}
|