From 3410caa6f2e1fd74d55f7a1717420bb2e1052b12 Mon Sep 17 00:00:00 2001
From: Julien Dessaux
Date: Sat, 29 May 2010 23:48:47 +0200
Subject: Fixed the plugin termination.

The master of a plugin will now wait for the plugin it kills to terminate.
---
 Hsbot/Types.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Hsbot/Types.hs')

diff --git a/Hsbot/Types.hs b/Hsbot/Types.hs
index 009390d..66b4d6b 100644
--- a/Hsbot/Types.hs
+++ b/Hsbot/Types.hs
@@ -27,7 +27,7 @@ type Bot = StateT BotState IO
 -- | An Hsbot state
 data BotState = BotState
     { botStartTime  :: UTCTime      -- the bot's uptime
-    , botPlugins    :: M.Map String (PluginState, ThreadId) -- Loaded plugins
+    , botPlugins    :: M.Map String (PluginState, MVar (), ThreadId) -- Loaded plugins
     , botChan       :: Chan BotMsg  -- the bot's communication channel
     , botConfig     :: [BotConfig]  -- the bot's starting config
     , botResumeData :: MVar BotResumeData   -- the necessary data to resume the bot's operations on reboot
-- 
cgit v1.2.3