tree f379b80d2d4be7cf9f25bd59156e53cb00faaf72
parent 7c7a23bd5a0bc149d2edd665ec46381726b24e0c
author wdenk <wdenk> 1039341203 +0000
committer wdenk <wdenk> 1039341203 +0000

* Improve log buffer code; use "loglevel" to decide which messages
  to log on the console, too (like in Linux); get rid of "logstart"