2 dir_list "/proc/[1-9]*"
5 $pid = atoi ($basename);
8 property int pid (* implicit *)
10 property string short_command
12 // some code to parse $filename/stat
16 // some code to parse $filename/stat
19 writable property foo << ... >>
21 method err kill (signal sig)
23 return kill ($pid, sig);
27 int r = kill ($pid, 0);
30 if (r == -1 && errno == ESRCH)