Also for Opcode, Type and Status:
--- Class.py.orig Sun Jun 16 14:28:41 2002
+++ Class.py Sun Jun 16 14:29:21 2002
@@ -30,8 +30,7 @@
if _name[0] != '_': classmap[eval(_name)] = _name
def classstr(klass):
- if classmap.has_key(klass): return classmap[klass]
- else: return `klass`
+ return classmap.get(klass, `klass`)
#
# $Log: Class.py,v $