From 8dd53dfd96892a452b8ac1392fec316c0e68cc2c Mon Sep 17 00:00:00 2001
From: Sean McBride <spmcbride1201@gmail.com>
Date: Tue, 16 Mar 2021 15:52:43 -0400
Subject: [PATCH] fix: Flush log on sigterm

---
 runtime/src/main.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/runtime/src/main.c b/runtime/src/main.c
index 795f2c5..a28eeab 100644
--- a/runtime/src/main.c
+++ b/runtime/src/main.c
@@ -182,9 +182,18 @@ runtime_start_runtime_worker_threads()
 	debuglog("Sandboxing environment ready!\n");
 }
 
+void
+runtime_cleanup()
+{
+	if (runtime_sandbox_perf_log != NULL) fflush(runtime_sandbox_perf_log);
+
+	exit(EXIT_SUCCESS);
+}
+
 void
 runtime_configure()
 {
+	signal(SIGTERM, runtime_cleanup);
 	/* Scheduler Policy */
 	char *scheduler_policy = getenv("SLEDGE_SCHEDULER");
 	if (scheduler_policy == NULL) scheduler_policy = "FIFO";