in WebUI/src/widgets/interface.js [24:31]
export function sleep(mil){ var start = new Date().getTime(); for (var i = 0; i < 1e7; i++) { if ((new Date().getTime() - start) > mil){ break; } } };