Merge "Fixing null pointer error on node delete and executor shutdown."
authorFlavio Fernandes <ffernand@redhat.com>
Fri, 13 Mar 2015 21:09:48 +0000 (21:09 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Fri, 13 Mar 2015 21:09:48 +0000 (21:09 +0000)

Trivial merge