pi-calculus-0.0.5: testing/p_chan_server.pi

out(stdout,"Enter port:"); in(stdin,port);
let ch = {port} in 
    in(ch,sch);in(stdin,msg);out(sch,msg)