{- Migration for distributed deployment/bootstrapping -}

{- val n = ''polluks.cs.put.poznan.pl'':5001 -}
   
val n = ''127.0.0.1'':5001   {- for SSH port tuneling -}


new c : ^String 


{- Server -}

agent a = 
( 
  migrate to n   {- Move server on remote node -} 
  run print!"Server ready."
  c ?* msg = print! msg 
) 


{- Client -}

and b = 
  <a @ n>c ! "Hello!" 



{-
Deployment:

remote server: 

ssh -L 5001:polluks.cs.put.poznan.pl:5005 -p 22 pawelw@polluks.cs.put.poznan.pl

np -p 5005

local client: 

np -p 5000 5-migration.pi
-}