3 dir_list "/proc/[1-9]*"
6 $pid = atoi ($basename);
9 property int pid (* implicit *)
11 property string short_command
13 // some code to parse $filename/stat
17 // some code to parse $filename/stat
20 writable property foo << ... >>
22 method err kill (signal sig)
24 return kill ($pid, sig);
28 int r = kill ($pid, 0);
31 if (r == -1 && errno == ESRCH)