# HG changeset patch
# User Charly COSTE <changaco@changaco.net>
# Date 1263930642 -3600
# Node ID c021656e4c54067edfd22f67ba1c78bc218de76a
# Parent  266a6afb6b7979583d4002d5c7559d798d1b4a54
minor fix in start_bots_from_xml_config.py

Signed-off-by: Charly COSTE <changaco@changaco.net>

diff --git a/start_bots_from_xml_config.py b/start_bots_from_xml_config.py
--- a/start_bots_from_xml_config.py
+++ b/start_bots_from_xml_config.py
@@ -85,7 +85,7 @@ try:
 	
 	while True:
 		for bot in bots:
-			if len(bot.xmpp_connections) == 0:
+			if bot.halt and len(bot.xmpp_connections) == 0:
 				bots.remove(bot)
 		if len(bots) == 0:
 			raise Exception()