JSDOC/SymbolSet.js

[gnome.introspection-doc-generator] / JSDOC / SymbolSet.js

diff --git a/JSDOC/SymbolSet.js b/JSDOC/SymbolSet.js
index ba6b036..83a4737 100644 (file)
--- a/JSDOC/SymbolSet.js
+++ b/JSDOC/SymbolSet.js
@@ -42,7 +42,8 @@ SymbolSet = XObject.define(
         addSymbol : function(symbol) {
             //print("ADDING SYMBOL:"+symbol.alias.toString());
             if (!symbol.is) {
-                print ("FAILED TO UNSERIALIZE?");
+                print ("FAILED TO UNSERIALIZE?" );
+                Seed.quit();
                }
             
             if (this.hasSymbol(symbol.alias)) {