Don't kill mininet if it is not running.
Don't kill mininet if it is not running.

Can mess up OVS in non-mininet deployments.

huxh10/iSDX,sdn-ixp/iSDX,huxh10/iSDX,sdn-ixp/iSDX,huxh10/iSDX,huxh10/iSDX,huxh10/iSDX,sdn-ixp/iSDX,sdn-ixp/iSDX,sdn-ixp/iSDX,huxh10/iSDX,huxh10/iSDX,sdn-ixp/iSDX,huxh10/iSDX,huxh10/iSDX,sdn-ixp/iSDX