[PATCH] InstanceId formatting

Hi all,
  this patch changes slightly the formatting of InstanceId's output so
that it's easier to parse and isolate.
Opinions?

=== modified file 'src/base/InstanceId.h'
--- src/base/InstanceId.h 2010-10-04 14:49:57 +0000
+++ src/base/InstanceId.h 2010-10-14 22:33:00 +0000
@@ -43,7 +43,7 @@
 #define InstanceIdDefinitions(Class, prefix) \
     template<> std::ostream & \
     InstanceId<Class>::print(std::ostream &os) const { \
- return os << Prefix << value; \
+ return os << '[' << Prefix << '#' << value << ']'; \
     } \
     template<> const char *InstanceId<Class>::Prefix = prefix; \
     template<> InstanceId<Class>::Value InstanceId<Class>::Last = 0

-- 
    /kinkie