server/__init__.py
changeset 4223 4fb00ccad3df
parent 4107 1f256b896b1d
child 4252 6c4f109c2b03
--- a/server/__init__.py	Wed Jan 13 15:48:07 2010 +0100
+++ b/server/__init__.py	Wed Jan 13 15:48:24 2010 +0100
@@ -30,7 +30,7 @@
 DBG_REPO = 4  # repository events
 DBG_MS = 8    # multi-sources
 DBG_MORE = 16 # more verbosity
-
+DBG_ALL = 1 + 2 + 4 + 8 + 16
 # current debug mode
 DEBUG = 0