package Ġu y . ko hes ive . k over t . vertx . sample . web Ċ Ċ import Ġu y . ko hes ive . k over t . core . Rendered Ċ import Ġu y . ko hes ive . k over t . vertx . sample . services . User ĊĊ Ċ class ĠApp Web Controller Ġ{ ĊĠĠĠ Ġ@ Rendered (" app / home . html . ft l ") ĊĠĠĠ Ġval Ġindex Ġ= Ġfun ĠUser Session Sec ured . (): ĠBase App Model Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn ĠBase App Model ( user , ĠBase Links ()) ĊĠĠĠ Ġ} Ċ } Ċ Ċ open Ġclass ĠBase App Model ( val Ġuser : ĠUser , Ġval Ġcommon Links : ĠBase Links ) Ċ open Ġclass ĠBase Links ( ĊĠĠĠ Ġval Ġlogout : ĠString Ġ= Ġ"/ logout " Ġ Ġ// ĠTODO : Ġuse Ġa Ġreference Ġto Ġget Ġthe Ġlogout Ġlink Ċ )