Makes "measure kill" work with the appserver
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Apr 2010 19:31:39 +0000 (12:31 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:45 +0000 (17:35 -0700)
commit65eda3ee84927a621bab788f0d5955c56edc7fa4
treed190ec75692dc60d55108b1d2d2d428aa2f4bc68
parentf75d0d89802efd70ef3e1640fbad9b10135b95b5
Makes "measure kill" work with the appserver

Note the measurement will suck a bit, since it won't count the time it
takes to __proc_free(), but it should be better than before.  If not,
whatevs.
kern/src/monitor.c