cosmetic: protect drl against void getslivers
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 2 Jun 2010 10:01:22 +0000 (10:01 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 2 Jun 2010 10:01:22 +0000 (10:01 +0000)
commit72c59bbf519f1e941b51ec1e5649e1b2faffe302
tree74efdf4ec68359a322eb65b3aa4a57f0b556de08
parent2306328a4623d578e93bd59982623908eb8742dd
cosmetic: protect drl against void getslivers
nodemanager.py
plugins/drl.py