<% _ Ġvar Ġpackage Address Ġ= Ġoptions . server Setup . package Address Ġ_ %> Ċ package Ġ<% - package Address % >. extension Ċ Ċ import Ġ<% - package Address % >. app . Cast Ċ import Ġ<% - package Address % >. enums . Connection Status Ċ import Ġcom . google . gson . JsonObject Ċ import Ġjavax . websocket . Session Ċ Ċ fun ĠSession . json Properties ( status : ĠConnection Status ): ĠString Ġ{ ĊĠĠĠ Ġreturn ĠCast . pretty . toJson ( ĊĠĠĠĠĠĠĠĠĠĠĠ ĠJsonObject (). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġadd Property (" connection Status ", Ġstatus . toString ()) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġadd Property (" id ", Ġuser Properties [" id "] ?. toString ()) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġadd Property (" fullName ", Ġuser Properties [" fullName "] ?. toString ()) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġadd Property (" email ", Ġuser Properties [" email "] ?. toString ()) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ) Ċ } Ċ