2023-05-28 22:54:17 +00:00
|
|
|
// centralize navigation to simplify switching between client and server routing
|
2023-06-25 17:52:00 +00:00
|
|
|
export function navigate(path) {
|
2023-05-28 22:54:17 +00:00
|
|
|
window.location.href = path;
|
|
|
|
|
}
|
2023-06-11 03:32:02 +00:00
|
|
|
|
|
|
|
|
export function reload() {
|
|
|
|
|
window.location.reload();
|
|
|
|
|
}
|
