After discussion with Jeroen Massar, here's a patch (mostly his)

[sgt/putty] / windows / wincons.c

diff --git a/windows/wincons.c b/windows/wincons.c
index e0f0215..288410c 100644 (file)
--- a/windows/wincons.c
+++ b/windows/wincons.c
@@ -1,5 +1,5 @@
 /*
- * console.c: various interactive-prompt routines shared between
+ * wincons.c - various interactive-prompt routines shared between
  * the Windows console PuTTY tools
  */
 
@@ -294,8 +294,7 @@ void console_provide_logctx(void *logctx)
 
 void logevent(void *frontend, const char *string)
 {
-    if (console_logctx)
-       log_eventlog(console_logctx, string);
+    log_eventlog(console_logctx, string);
 }
 
 static void console_data_untrusted(HANDLE hout, const char *data, int len)