#!/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
if (match($0,"")) {
quit = "yes"
}
if (match($0,"") && match(quit,"yes")) {
close(server)
exit
}
}
}