-
Committer:
Markus Korn
-
Date:
2011-08-04 12:38:18 UTC
-
Revision ID:
markus.korn@edelight.de-20110804123818-icdnghzkx7uwzggh
Added a new (optional) "role" identifier to log entries and fixed indention in log_reciever.py
(actually the role identifier is just an idea, maybe we want sth. like tagging support. There
needs to be a searchable and readable way to organize a huge number of log entries. Filtering
context and level does not seem to be good enough.)