tree 45f7b227213235e067a6cd806ca6ecdf9d5bb4e7
parent fd771a6a856dc8fc0fbf5f14dcf28e74ff02ec8f
author Jack Jansen <jack.jansen@cwi.nl> 960408663 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 960408663 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4015640

Minor bugfix: one uthread-dependent cleanup had "if not uthread" in stead of "if uthread".