diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/shared.py b/tools/shared.py index 18c3cea7..83c837c8 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1183,17 +1183,17 @@ class JCache: if not os.path.exists(cachename): return data = cPickle.Unpickler(open(cachename, 'rb')).load() if len(data) != 2: - if DEBUG: print >> sys.stderr, 'jcache error in get' + #if DEBUG: print >> sys.stderr, 'jcache error in get' return oldkeys = data[0] if len(oldkeys) != len(keys): - if DEBUG: print >> sys.stderr, 'jcache collision (a)' + #if DEBUG: print >> sys.stderr, 'jcache collision (a)' return for i in range(len(oldkeys)): if oldkeys[i] != keys[i]: - if DEBUG: print >> sys.stderr, 'jcache collision (b)' + #if DEBUG: print >> sys.stderr, 'jcache collision (b)' return - if DEBUG: print >> sys.stderr, 'jcache win' + #if DEBUG: print >> sys.stderr, 'jcache win' return data[1] # Sets the cached value for a key (from get_key) |