From 5c4fdc35ebeb58655c8d6ae7a2f883395f49ca0c Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Fri, 26 May 2017 07:22:24 -0400
Subject: [PATCH] Flush log on interrupt, just for convenience.

---
 main.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/main.c b/main.c
index 881578d..7834084 100644
--- a/main.c
+++ b/main.c
@@ -7,6 +7,7 @@
 #include <stdio.h>
 #include <stdbool.h>
 #include <getopt.h>
+#include <signal.h>
 #include "main.h"
 
 #include "misc.h"
@@ -48,6 +49,14 @@ extern void initialise();
 extern void score(long);
 extern int action(FILE *, long);
 
+void sig_handler(int signo)
+{
+    if (signo == SIGINT)
+	if (logfp != NULL)
+	    fflush(logfp);
+    exit(0);
+}
+
 /*
  * MAIN PROGRAM
  */
@@ -75,6 +84,7 @@ int main(int argc, char *argv[]) {
 				fprintf(stderr,
 					"advent: can't open logfile %s for write\n",
 					optarg);
+			signal(SIGINT, sig_handler);
 			break;
 		case 'o':
 		    oldstyle = true;
-- 
2.31.1