From 206a037ff1d541a3edb3886f5a84a037ac5f0b80 Mon Sep 17 00:00:00 2001
From: Alan Knowles <alan@akkbhome.com>
Date: Thu, 22 Jul 2010 00:01:06 +0800
Subject: [PATCH] JSDOC/SymbolSet.js

---
 JSDOC/SymbolSet.js | 1 +
 1 file changed, 1 insertion(+)

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