next up previous
Next: Message sending to Up: Module irpr_service(irpr_service.kl1) Previous: Module irpr_service(irpr_service.kl1)

Creation of irpr system server

Irpr system server is created by calling irpr_kappa:create/4 and the interface stream IrprITR is kept. 

service(IFP,Soc) :-
    klicio:klicio([stdout(normal(OUTS))]),
    irpr_kappa:create(update,IrprITR,IFP,Status),
    service1(Status,IrprITR,Soc,OUTS).