K 10 svn:author V 6 dteske K 8 svn:date V 27 2013-11-08T10:19:48.585199Z K 7 svn:log V 139 I often forget that debugFile can begin with a + for deciding that debug should be sent to both the file (minus the leading +) and stdout. END