opdemand/deis — pull request #407 by tombh (2013-12-18 15:29:21+00:00)
Title: Vagrant node destruction tweak

When checking the error type from a failed vagrant destruction, make comparison case insensitive - for BASH and ZSH support.