#!/usr/bin/awk -f BEGIN { server = "/inet/tcp/0/127.0.0.1/400" quit = "no" print "" |& server print " getcredentials" |& server print " 300" |& server print " "ARGV[1]"" |& server print "" |& server while (server |& getline) { print $0 } }