Commit f7ea12a9 authored by Reg Huijben's avatar Reg Huijben

start of auth

parent 55a9e96c
......@@ -2,6 +2,12 @@ module lcsm
//import StdEnv
import iTasks
import iTasks
from iTasks.Extensions.Admin.WorkflowAdmin import :: Workflow
import iTasks.Extensions.Admin.UserAdmin
import iTasks.Extensions.User
import iTasks.Extensions.Admin.WorkflowAdmin
import Text
/*import iTasks.Engine
import iTasks.UI.Definition
......@@ -26,7 +32,35 @@ derive class iTask Connection
//Start = mergedieshit WN WE
//Start w = doTasks (myTask [(merge2D WN WE), WE]) w
Start w = doTasks (myTask (toLines [(merge2D WN WE), WE]) ) w
//players = ["bob","alice","carol","dave"]
//users = [("dave","beun")]
:: LCSMUser = {name :: String, role :: String }
lcsm_users :: [LCSMUser]
lcsm_users = [{name="dave",role="bekijker"}]
//henkie :: Task ()
henkie = viewSharedInformation [] currentUser //viewInformation [] ()
//main :: Task ()
//main = multiUserExample @! ()
multiUserExample = allTasks (map (createUser o mkUserAccount) lcsm_users)
>>| doAuthenticated henkie //loginAndManageWork "Meeting_4_3 Example" Nothing Nothing False
where
//mkUserAccount name = {UserAccount| credentials = {Credentials| username = Username name, password = Password name}, title = Nothing, roles = ["manager"] }
mkUserAccount {name,role} = {UserAccount| credentials = {Credentials| username = Username name, password = Password name}, title = Nothing, roles = [role] }
Start :: *World -> *World
Start world = doTasks main world
main :: Task ()
main = multiUserExample @!()//w where
// mkUserAccount name = {UserAccount| credentials = {Credentials| username = Username name, password = Password name}, title = Nothing, roles = ["manager"] }
//Start w = doTasks (myTask (toLines [(merge2D WN WE), WE]) ) w
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment