1 let jst_server = (await import('@ndcode/jst_server')).default
4 let get_account = await _require('/_lib/get_account.jst')
5 let get_session = await _require('/_lib/get_session.jst')
6 let post_request = await _require('/_lib/post_request.jst')
13 let transaction = await env.site.database.Transaction()
15 let root = await transaction.get()
16 let session = await get_session(env, root)
18 let account = await get_account(root, session)
19 if (!await account.get_json('administrator'))
20 throw new jst_server.Problem(
26 return /*await*/ root.get_json('navigation', {})
29 transaction.rollback()