setname as part of set_resources. Better than stupid sleep while part of start(...
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 16 Apr 2008 21:26:25 +0000 (21:26 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 16 Apr 2008 21:26:25 +0000 (21:26 +0000)

No differences found