11343417852ae996c704ad38cf987e91efe7a48a
[pintos-anon] / grading / userprog / child-close.c
1 #include <ctype.h>
2 #include <stdio.h>
3 #include <stdlib.h>
4 #include <syscall.h>
5
6 int
7 main (int argc UNUSED, char *argv[]) 
8 {
9   if (isdigit (*argv[0]))
10     close (atoi (argv[0])); 
11   else if (isdigit (*argv[1]))
12     close (atoi (argv[1]));
13   else 
14     {
15       printf ("(child-close) fail: bad command-line arguments\n");
16       return 1; 
17     }
18   printf ("(child-close) success\n");
19   return 0;
20 }