use pid in profile filenames, so multiple profiles can be simultaneous
commit58821ac9ac43c310bc3480d344d61524eae7f064
authorMichael Coleman <mkc@stowers-institute.org>
Mon, 9 Apr 2007 20:29:02 +0000 (9 15:29 -0500)
committerMichael Coleman <mkc@stowers-institute.org>
Mon, 9 Apr 2007 20:29:02 +0000 (9 15:29 -0500)
tree84762bd8bc88805488ccd3bc62fdbe50813c48f3
parent54bb67c973392ea340c8a21c912749fe9c93809d
use pid in profile filenames, so multiple profiles can be simultaneous
better clean up of profile data file
whitespace cleanup
greylag.py