pi-calculus-0.0.5: testing/server.pi

&load("pilude.pi");
out(stdout,"Enter Port");
in(stdin,port);
    let ch = {port} in
        &in_and_out(ch)