Update config_file.h, emulator.c, and amiga-platform.c

[pistorm] / emulator.c

diff --git a/emulator.c b/emulator.c
index 51a6f0cfa61dd8c91b861ccc9b4fe288170965c6..1a14062b21ad5a77a7f331410de56be4f82d22a9 100644 (file)
--- a/emulator.c
+++ b/emulator.c
@@ -161,6 +161,10 @@ void sigint_handler(int sig_num) {
   if (mem_fd)
     close(mem_fd);
 
+  if (cfg->platform->shutdown) {
+    cfg->platform->shutdown(cfg);
+  }
+
   exit(0);
 }