7 main (int argc UNUSED, char *argv[])
9 if (isdigit (*argv[0]))
10 close (atoi (argv[0]));
11 else if (isdigit (*argv[1]))
12 close (atoi (argv[1]));
15 printf ("(child-close) fail: bad command-line arguments\n");
18 printf ("(child-close) success\n");