# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1536587743 -3600
# Node ID fd4025e54f4d6727993875225555c6220c365ece
# Parent  b8296f44a9d1cb69008ca30d566b623a1434d595
main: Add _finish handler so objects can clean up

diff -r b8296f44a9d1 -r fd4025e54f4d main.lua
--- a/main.lua	Mon Sep 10 14:15:22 2018 +0100
+++ b/main.lua	Mon Sep 10 14:55:43 2018 +0100
@@ -216,6 +216,12 @@
 		log_data("server", { lines = server_log_reader() });
 	end
 
+	for name, obj in pairs(script.objects) do
+		if obj.handler._finish then
+			obj.handler._finish(obj);
+		end
+	end
+
 	return ok, err;
 end