[z3-checkins] r54764 - z3/deliverance/trunk/deliverance

[ianb at codespeak.net]

Author: ianb
Date: Thu May 15 22:15:39 2008
New Revision: 54764

Modified:
   z3/deliverance/trunk/deliverance/cache_utils.py
Log:
catch int() exceptions properly

Modified: z3/deliverance/trunk/deliverance/cache_utils.py
==============================================================================
--- z3/deliverance/trunk/deliverance/cache_utils.py	(original)
+++ z3/deliverance/trunk/deliverance/cache_utils.py	Thu May 15 22:15:39 2008
@@ -227,7 +227,7 @@
             return tags
         try:
             tag_len = int(tag_len)
-        except: 
+        except ValueError: 
             return {}
         
         if len(composite_tag) >= tag_len: