2023-10-31 21:29:40 +00:00
|
|
|
const { run, invoke } = window.api;
|
2021-03-22 20:11:03 +00:00
|
|
|
|
|
|
|
|
run().then(async () => {
|
2023-10-31 21:29:40 +00:00
|
|
|
const count = await invoke('reload-successful');
|
2021-03-22 20:11:03 +00:00
|
|
|
if (count < 3) location.reload();
|
|
|
|
|
}).catch(console.log);
|
