# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1678882261 0
# Node ID eae589a33624f8fec52cc3b439c18e74aca3efeb
# Parent  72d3ca5225f3445c64ee069fe2adb32e135aed81
riddim: Exit when disconnected from server

This allows e.g. a supervisor to restart the bot according to whatever policy
is desired.

diff -r 72d3ca5225f3 -r eae589a33624 init.lua
--- a/init.lua	Wed Mar 15 12:10:00 2023 +0000
+++ b/init.lua	Wed Mar 15 12:11:01 2023 +0000
@@ -151,6 +151,11 @@
 	
 	c:hook("ready", function () b:start(); end);
 
+	c:hook("disconnected", function ()
+		print("Disconnected from server, riddim will exit now");
+		os.exit();
+	end, -1);
+
 	if config.connect_host then
 		c.connect_host = config.connect_host;
 	end