2022-04-27 16:06:40 +02:00
|
|
|
export const reloadChannel = new BroadcastChannel('reload'); // string | null
|
2021-02-17 13:36:56 +01:00
|
|
|
|
|
|
|
// BroadcastChannelを用いて、クライアントが一斉にreloadするようにします。
|
2021-11-04 16:09:13 +01:00
|
|
|
export function unisonReload(path?: string) {
|
|
|
|
if (path !== undefined) {
|
|
|
|
reloadChannel.postMessage(path);
|
|
|
|
location.href = path;
|
|
|
|
} else {
|
|
|
|
reloadChannel.postMessage(null);
|
|
|
|
location.reload();
|
|
|
|
}
|
2021-02-17 13:36:56 +01:00
|
|
|
}
|