root
Toggle table of contents
serverkit
Target filter
serverkit
Switch theme
Search in API
Skip to content
root
root
/
fi.utu.tech.serverkit
/
AppBase
/
currentPrincipal
current
Principal
serverkit
fun
currentPrincipal
(
ctx
:
<Error class: unknown class>
)
:
Principal
?