[scanner] Make fatal warnings exit
authorJohan Dahlin <johan@gnome.org>
Tue, 7 Sep 2010 14:34:32 +0000 (11:34 -0300)
committerJohan Dahlin <johan@gnome.org>
Tue, 7 Sep 2010 14:34:59 +0000 (11:34 -0300)
commitedca95e1adf758342a106faec4d9769dab446d32
tree5ba8db6ab9cd0722564fed974031a27632391ea3
parent10188b59ff93be814798f657a70a447419acff57
[scanner] Make fatal warnings exit

Even if warnings are not enabled
giscanner/message.py