Log when NM excepts and bombs out. merge from head.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 23 Aug 2007 19:51:22 +0000 (19:51 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 23 Aug 2007 19:51:22 +0000 (19:51 +0000)
commit9bfeb24261f3a3e9f7cf62b3412758402e593385
tree8ac0913451859a1fd1be56db97cb4faf62d20a93
parent33f48a4bb047ade95b89d7dfad0b9cb0a9ef75fb
Log when NM excepts and bombs out.  merge from head.
tools.py