diff --git a/frontend/src/lib/components/ClientShell.svelte b/frontend/src/lib/components/ClientShell.svelte index bf92886..0391c81 100644 --- a/frontend/src/lib/components/ClientShell.svelte +++ b/frontend/src/lib/components/ClientShell.svelte @@ -2,6 +2,7 @@ import { invalidateAll } from '$app/navigation'; import { goto } from '$app/navigation'; import { page } from '$app/state'; + import Lean101Logo from '$lib/components/Lean101Logo.svelte'; import { clientSession, hasModuleAccess, sessionHydrated } from '$lib/session'; import { onMount, tick } from 'svelte'; import packageInfo from '../../../package.json'; @@ -216,6 +217,12 @@ }); }); + $effect(() => { + if ($sessionHydrated && !$clientSession && !isRootRoute) { + goto('/', { replaceState: true }); + } + }); + onMount(() => { syncViewport(); @@ -254,6 +261,19 @@
Checking Session
+Only authenticated client users can open workspace routes directly.
+