This repository has been archived on 2025-03-10. You can view files and clone it, but cannot push or open issues or pull requests.

Julien Dessaux 3410caa6f2 Fixed the plugin termination. ... The master of a plugin will now wait for the plugin it kills to terminate.		2010-05-29 23:55:20 +02:00
..
Irc	Fixed the plugin termination.	2010-05-29 23:55:20 +02:00
Config.hs	Rationalized the way bot configs are handled.	2010-05-29 17:05:56 +02:00
Core.hs	Added signal handling and a better semantic for bot status.	2010-05-29 23:55:12 +02:00
Message.hs	Added signal handling and a better semantic for bot status.	2010-05-29 23:55:12 +02:00
Plugin.hs	Fixed the plugin termination.	2010-05-29 23:55:20 +02:00
PluginUtils.hs	Implemented update message handling in the bot's core.	2010-05-24 23:52:47 +02:00
Types.hs	Fixed the plugin termination.	2010-05-29 23:55:20 +02:00